Theorem List.prod_eq_zero
Modification history
2024-05-16 15:07
Mathlib/Algebra/BigOperators/List/Lemmas.lean
chore: Separate algebraic list lemmas (#12836) …
Modified List.prod_eq_zeroView on Github →2024-04-05 23:45
Mathlib/Algebra/BigOperators/List/Basic.lean
chore(Algebra/BigOperators/List): Use Std lemmas (#11725) …
Modified List.prod_eq_zeroView on Github →