Theorem Part.right_dom_of_inter_dom

Modification history