Theorem Finset.image_subset_iff_subset_preimage

Modification history