Commit 2024-11-29 02:34 d97300dd

View on Github →

chore(Algebra/BigOperators/Group/Finset): golf some proofs (#19593)

Estimated changes

modified theorem Finset.mulIndicator_biUnion