Theorem Rel.inter_dom_subset_preimage_image

Modification history