Added import

reilabs · Nov 29, 2023 · 2579f94 · 2579f94
1 parent 35e8e6e
commit 2579f94
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ProvenZk.lean b/ProvenZk.lean
@@ -9,3 +9,4 @@ import ProvenZk.Ext.List
 import ProvenZk.Ext.Fin
 import ProvenZk.Subvector
 import ProvenZk.Misc
+import ProvenZk.GatesEquivalence