Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.cast_trans

Modification history

2020-12-19 02:24

src/data/fin.lean

feat(data/fin): trans and id lemmas for fin.cast (#5415)

Added fin.cast_trans View on Github →