Theorem Mathlib.Vector.pmap_map

Modification history

2024-12-15 09:21
Mathlib/Data/Vector/MapLemmas.lean
chore: rename Mathlib.Vector to List.Vector (#19930) …
Deleted Mathlib.Vector.pmap_mapView on Github →
2024-11-03 19:16
Mathlib/Data/Vector/MapLemmas.lean
feat(Data/Vector): add `pmap` for vectors and prove some lemmas (#17189)
Added Mathlib.Vector.pmap_mapView on Github →