Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.cast_succ_lt_iff_succ_le

Modification history

2022-03-03 17:48
src/data/fin/basic.lean
feat(simplex_category): various epi/mono lemmas (#11924)
Added fin.cast_succ_lt_iff_succ_leView on Github →