Theorem Rel.image_eq_cod_of_dom_subset

Modification history