Theorem Part.left_dom_of_sdiff_dom

Modification history