Theorem Finset.preimage_union

Modification history