Theorem List.forall₂_of_length_eq_of_get

Modification history

2024-05-06 10:56

Mathlib/Data/List/Forall2.lean

chore(Data/List/Forall): more migration nthLe -> get (#12645) …

Added List.forall₂_of_length_eq_of_get View on Github →