Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.scanl_cons

Modification history

2020-10-27 22:22

src/data/vector2.lean

feat(data/vector2): scanl and associated lemmas (#4613)

Added vector.scanl_cons View on Github →