reoder imports in Calculus.lean

katydid · Aug 27, 2024 · ab5d320 · ab5d320
1 parent 7bdc8e4
commit ab5d320
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Katydid/Conal/Calculus.lean b/Katydid/Conal/Calculus.lean
@@ -1,10 +1,9 @@
 -- A translation to Lean from Agda
 -- https://github.com/conal/paper-2021-language-derivatives/blob/main/Calculus.lagda
 
+import Katydid.Std.Tipe
 import Katydid.Conal.Function
 import Katydid.Conal.Language
-import Mathlib.Logic.Equiv.Defs -- ≃
-import Katydid.Std.Tipe
 
 namespace Calculus