Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-10 03:06
21a70379
View on Github →
feat: add
Finset.prod_congr_of_eq_on_inter
(
#23886
)
Estimated changes
Modified
Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean
added
theorem
Finset.prod_congr_of_eq_on_inter