Commit 2022-10-11 21:54 ccf8aa04
View on Github →feat(data/finset/basic): disj_Union (#16421)
finset.disj_Union
is to finset.bUnion
as:
finset.disj_union
is tofinset.union
finset.cons
is toinsert
finset.map
is tofinset.image
feat(data/finset/basic): disj_Union (#16421)
finset.disj_Union
is to finset.bUnion
as:
finset.disj_union
is to finset.union
finset.cons
is to insert
finset.map
is to finset.image