Theorem Finset.coe_union

Modification history