Def WellFounded.fix'

Modification history

2023-05-01 22:19
Mathlib/Init/Logic.lean
feat: make `Acc.rec` and many related defs computable (#3535) …
Deleted WellFounded.fix'View on Github →
2021-09-29 16:59
Mathlib/Init/Logic.lean
feat: add Init/Data/Nat/Basic.lean and Init/Data/Nat/Lemmas.lean (#48) …
Modified WellFounded.fix'View on Github →
2021-05-10 04:19
Mathlib/Logic/Basic.lean
import init.data.nat.lemmas
Added WellFounded.fix'View on Github →