Theorem Finset.prod_powerset_cons

Modification history

2025-03-03 07:17

Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean

feat: split long file Algebra.BigOperators.Group.Finset.Basic (#22476)

Modified Finset.prod_powerset_cons View on Github →

2024-01-10 10:28

Mathlib/Algebra/BigOperators/Basic.lean

chore: Relocate big operator lemmas (#9383) …

Added Finset.prod_powerset_cons View on Github →