Theorem SetRel.image_inter_dom

Modification history