Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.cons_val

Modification history

2020-10-12 18:08
src/data/vector2.lean
chore(*): update to Lean 3.21.0c (#4578) …
Modified vector.cons_valView on Github →
2020-05-27 08:57
src/data/vector2.lean
feat(computability/tm_to_partrec): partrec functions are TM-computable (#2792) …
Modified vector.cons_valView on Github →
2019-10-07 17:24
src/topology/constructions.lean
refactor(topology/list): move topology of lists, vectors to new file (#1514)
Modified vector.cons_valView on Github →
2018-10-19 00:14
analysis/topology/continuity.lean
feat(analysis/topology): add continuity rules for list and vector insert/remove_nth
Added vector.cons_valView on Github →