Theorem List.Vector.get_eq_get_toList

Modification history

2024-12-20 12:30
Mathlib/Data/Vector/Basic.lean
chore: rename List.Vector.get_eq_get (#20087)
Added List.Vector.get_eq_get_toListView on Github →