Theorem Nat.pred_succ

Modification history

2022-02-21 18:07
Mathlib/Init/Data/Nat/Lemmas.lean
chore: bump to nightly-2022-02-21 (#203)
Deleted Nat.pred_succView on Github →
2021-09-29 16:59
Mathlib/Data/Nat/Basic.lean
feat: add Init/Data/Nat/Basic.lean and Init/Data/Nat/Lemmas.lean (#48) …
Modified Nat.pred_succView on Github →
2021-05-10 04:19
Mathlib/Data/Nat/Basic.lean
import init.data.nat.lemmas
Added Nat.pred_succView on Github →