Theorem Nat.strongRec'_spec

Modification history

2026-06-02 18:08
Mathlib/Data/Nat/Init.lean
chore: deprecate `Nat.strongRec(On)'` (#36165) …
Deleted Nat.strongRec'_specView on Github →
2025-11-27 09:46
Mathlib/Data/Nat/Init.lean
feat(Data/Nat): reducible strong recursion (#30181) …
Added Nat.strongRec'_specView on Github →