Theorem List.rel_prod

Modification history

2023-12-10 22:40

Mathlib/Data/List/BigOperators/Basic.lean

chore: reduce imports of Data.List.Defs (#8635) …

Modified List.rel_prod View on Github →

2023-01-06 11:42

Mathlib/Data/List/Forall2.lean

feat: port Data.List.Forall2 (#1359)

Added List.rel_prod View on Github →