Theorem Part.left_dom_of_mod_dom

Modification history