Theorem Ordnode.merge_node

Modification history