update SciLean.lean

lecopivo · Sep 6, 2024 · 0f5b0f1 · 0f5b0f1
1 parent 0ec0a35
commit 0f5b0f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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