Theorem Part.left_dom_of_union_dom

Modification history