Theorem Rel.image_inter_dom_eq

Modification history