mathlib
2a7e2158 - feat(data/vector2): scanl and associated lemmas (#4613)

Commit

5 years ago

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

References

#4925 - Make prime-avoidance branch build

Author

pechersky

pechersky

Parents

Loading