Theorem Rel.image_preimage_subset_inter_codom

Modification history