Theorem Finset.preimage_subset

Modification history