Theorem Fintype.prod_ite_zero

Modification history

2024-08-15 11:25
Mathlib/Algebra/BigOperators/GroupWithZero/Finset.lean
chore: Golf `prod_involution` (#15832) …
Added Fintype.prod_ite_zeroView on Github →