Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.range_cons

Modification history

2022-09-30 08:02
src/data/fin/tuple/basic.lean
feat(data/fin): golf, add lemmas (#16711) …
Modified fin.range_consView on Github →
2021-11-14 15:22
src/data/fin/basic.lean
chore(data/fin/basic): move tuple stuff to a new file (#10295) …
Modified fin.range_consView on Github →
2021-03-08 19:42
src/data/fin.lean
feat(linear_algebra): submodules of f.g. free modules are free (#6178) …
Added fin.range_consView on Github →