Theorem Rel.image_eq_dom_of_codomain_subset

Modification history