Def Test.myFin.foo

Modification history

2025-07-11 21:09

MathlibTest/toAdditive.lean

chore: `n+1` to `n + 1` (#26937)

Modified Test.myFin.foo View on Github →

2023-02-01 16:48

test/toAdditive.lean

feat: port Algebra.BigOperators.Fin (#1848)

Added Test.myFin.foo View on Github →