Commit 2022-10-18 20:09 f752b620

View on Github →

feat: port Data.Fin.Fin2 (#478)

Estimated changes

added def Fin2.add
added def Fin2.elim0
added def Fin2.insertPerm
added def Fin2.left
added def Fin2.ofNat'
added def Fin2.optOfNat
added def Fin2.remapLeft
added def Fin2.toNat
added inductive Fin2