Theorem SetRel.preimage_eq_dom_of_cod_subset

Modification history