Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.nth_cons_nil

Modification history

2020-10-27 22:22
src/data/vector2.lean
feat(data/vector2): scanl and associated lemmas (#4613)
Modified vector.nth_cons_nilView on Github →
2020-10-13 16:46
src/data/vector2.lean
feat(data/vector2): induction principle, define last, and some lemmas (blocked by #4578) (#4554)
Added vector.nth_cons_nilView on Github →