Theorem Part.left_dom_of_mul_dom

Modification history