Theorem Finset.noncommProd_cons

Modification history

2024-03-12 10:00
Mathlib/Data/Finset/NoncommProd.lean
feat: `cons` lemmas for `Finset.noncommProd` (#11194) …
Added Finset.noncommProd_consView on Github →