Theorem Vector.toList_map
Modification history
2024-07-08 16:00
Mathlib/Data/Vector/Basic.lean
chore: Added namespace Mathlib around Vector defs (#13407) …
Deleted Vector.toList_mapView on Github →2024-05-31 00:19
Mathlib/Data/Vector/Basic.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified Vector.toList_mapView on Github →