Mathlib v3 is deprecated. Go to Mathlib v4

Def vector.to_array

Modification history

2018-08-15 20:47
data/vector2.lean
feat(category/traversable): derive traversable instances …
Added vector.to_arrayView on Github →