Theorem List.Vector.append_def

Modification history

2025-07-08 11:58
Mathlib/Data/Vector/Defs.lean
chore: whitespace fixes in lemmas (#26892) …
Modified List.Vector.append_defView on Github →
2025-06-06 00:15
Mathlib/Data/Vector/Defs.lean
style: `++` notation for `List.Vector` (#25487) …
Added List.Vector.append_defView on Github →