Theorem Set.mapsTo_iff_subset_preimage

Modification history