Theorem SetRel.image_eq_cod_of_dom_subset

Modification history