Theorem Finset.union_mul

Modification history