Commit 2022-06-24 11:15 8187142b
View on Github →feat(data/finset/pointwise): s • t is the union of the a • t (#14696)
and a few other results leading to it. Also tag set.coe_bUnion with norm_cast and rename finset.image_mul_prod/finset.add_image_prod to finset.image_mul_product/finset.image_add_product