Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-27 22:22 2a7e2158

View on Github →

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

Estimated changes

modified theorem vector.nth_cons_nil
added def vector.scanl
added theorem vector.scanl_cons
added theorem vector.scanl_head
added theorem vector.scanl_nil
added theorem vector.scanl_nth
added theorem vector.scanl_singleton
added theorem vector.scanl_val
added theorem vector.to_list_scanl