Def Test.myFin.foo

Modification history

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