Def Test.myFin

Modification history

2023-02-01 16:48
test/toAdditive.lean
feat: port Algebra.BigOperators.Fin (#1848)
Added Test.myFinView on Github →