Def a6356Sum

Modification history

2026-05-10 01:42
MathlibTest/StepInduction.lean
feat: arbitrary-order induction on `Nat` (#38442) …
Added a6356SumView on Github →