Theorem List.Forall₂.prod_le_prod

Modification history

2026-09-04 14:00

Mathlib/Algebra/Order/BigOperators/Group/List.lean

chore(Algebra/Order/BigOperators): follow the `₀` naming convention (#39692) …

Added List.Forall₂.prod_le_prod View on Github →