version bump

Author: Ferinko

ArkLib.lean

@@ -23,7 +23,6 @@ import ArkLib.Data.FieldTheory.NonBinaryField.Goldilocks
 import ArkLib.Data.FieldTheory.NonBinaryField.Mersenne
 import ArkLib.Data.FieldTheory.NonBinaryField.Secp256k1
 import ArkLib.Data.Fin.Basic
-import ArkLib.Data.Math.Fin
 import ArkLib.Data.Math.Basic
 import ArkLib.Data.Math.DepCast
 import ArkLib.Data.Math.HList