Def List.Vector.snoc

Modification history

2025-07-11 21:09

Mathlib/Data/Vector/Snoc.lean

chore: `n+1` to `n + 1` (#26937)

Modified List.Vector.snoc View on Github →

2024-12-15 09:21

Mathlib/Data/Vector/Snoc.lean

chore: rename Mathlib.Vector to List.Vector (#19930) …

Added List.Vector.snoc View on Github →