Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.cons_tail

Modification history

2020-10-12 18:08

src/data/vector2.lean

chore(*): update to Lean 3.21.0c (#4578) …

Modified vector.cons_tail View on Github →

2020-05-27 08:57

src/data/vector2.lean

feat(computability/tm_to_partrec): partrec functions are TM-computable (#2792) …

Added vector.cons_tail View on Github →