Theorem Finset.mul_prod_eq_prod_insertNone

Modification history

2023-09-26 11:46
Mathlib/Algebra/BigOperators/Option.lean
feat: lemmas about finset (#7337) …
Added Finset.mul_prod_eq_prod_insertNoneView on Github →