Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-16 06:00
e3e88aa5
View on Github →
feat: pow_card_mul_prod (
#8412
)
Estimated changes
Modified
Mathlib/Algebra/BigOperators/Basic.lean
added
theorem
Finset.pow_card_mul_prod
added
theorem
Finset.prod_mul_pow_card