Theorem Part.left_dom_of_append_dom

Modification history