Theorem Finset.union_union_distrib_right

Modification history