Def Nat.stepInduction

Modification history

2026-05-10 01:42
Mathlib/Data/Nat/Init.lean
feat: arbitrary-order induction on `Nat` (#38442) …
Added Nat.stepInductionView on Github →