Theorem Nat.le_pred_of_lt

Modification history

2022-09-08 18:38
Mathlib/Data/Nat/Basic.lean
chore: bump std4 09-08 (#403) …
Deleted Nat.le_pred_of_ltView on Github →
2022-04-28 15:22
Mathlib/Data/Nat/Basic.lean
feat: slim check (#254) …
Added Nat.le_pred_of_ltView on Github →