Theorem Tree.left_node_right_eq_self

Modification history