Theorem Ordnode.erase.valid

Modification history