Theorem Nat.strongRec'_spec

Modification history

2025-11-27 09:46
Mathlib/Data/Nat/Init.lean
feat(Data/Nat): reducible strong recursion (#30181) …
Added Nat.strongRec'_specView on Github →