Mathlib v3 is deprecated. Go to Mathlib v4

Theorem primrec.nat_max

Modification history

2022-11-13 06:01

src/computability/primrec.lean

feat(*): update to Lean 3.49 (#17470) …

Modified primrec.nat_max View on Github →

2020-08-01 21:07

src/computability/primrec.lean

chore(*): bump to Lean 3.18.4 (#3610) …

Modified primrec.nat_max View on Github →

2018-05-21 11:44

data/computability/primrec.lean

feat(computability/partrec_code): Kleene normal form theorem …

Added primrec.nat_max View on Github →