Theorem Ordnode.rotateR_node

Modification history