Theorem Vector.nth_eq_nthLe

Modification history

2024-04-21 11:20

Mathlib/Data/Vector/Basic.lean

chore(Vector): migrate `List.nthLe` → `List.get` (#12301) …

Deleted Vector.nth_eq_nthLe View on Github →

2023-01-23 12:02

Mathlib/Data/Vector/Basic.lean

chore: tidy various files (#1693)

Added Vector.nth_eq_nthLe View on Github →