Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.le_last

Modification history

2018-08-27 16:48
data/fin.lean
feat(data/fin): last (#273)
Added fin.le_lastView on Github →