Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-06-23 23:27
56185bdd
View on Github →
feat(data/finset): add some lemmas about
finset.disj_union
(
#14910
)
Estimated changes
Modified
src/algebra/big_operators/basic.lean
added
theorem
finset.prod_disj_union
Modified
src/data/finset/basic.lean
added
theorem
finset.forall_mem_map
added
theorem
finset.map_disj_union'
added
theorem
finset.map_disj_union
added
theorem
finset.map_disj_union_aux
Modified
src/data/finset/fold.lean
added
theorem
finset.fold_disj_union