Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.le_of_pred_lt

Modification history

2019-10-21 12:39
src/data/nat/basic.lean
feat(data/finset): define `finset.Ico.subset_iff` (#1574)
Added nat.le_of_pred_ltView on Github →