Theorem SetRel.inter_cod_subset_image_preimage

Modification history