Theorem Finset.prod_of_isEmpty

Modification history

2024-06-16 19:40
Mathlib/Algebra/BigOperators/Group/Finset.lean
chore: Golf `Finset.prod_ite_of_true` (#13726) …
Added Finset.prod_of_isEmptyView on Github →