From 0f5b0f1ca82654dac95507d23127008839ee8ae7 Mon Sep 17 00:00:00 2001 From: lecopivo Date: Fri, 6 Sep 2024 12:46:33 -0400 Subject: [PATCH] update SciLean.lean --- SciLean.lean | 1 + 1 file changed, 1 insertion(+) diff --git a/SciLean.lean b/SciLean.lean index 51a4c9a2..9147d1ce 100644 --- a/SciLean.lean +++ b/SciLean.lean @@ -72,6 +72,7 @@ import SciLean.Data.DataArray.Operations import SciLean.Data.DataArray.PlainDataType import SciLean.Data.DataArray.RevDeriv import SciLean.Data.DataArray.VecN +import SciLean.Data.Fintype.Quotient import SciLean.Data.Function import SciLean.Data.IndexType import SciLean.Data.Int64