Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.reverse_nth_zero

Modification history

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.reverse_nth_zero View on Github →