Theorem List.Forall₂.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₂.get View on Github →