Commit 2024-04-21 11:20 cf7f2354

View on Github →

chore(Vector): migrate List.nthLe → List.get (#12301) This drops the deprecated nth_eq_nthLe lemma.

Estimated changes

modified def Vector.get
deleted theorem Vector.nth_eq_nthLe