Theorem Ordnode.eraseMin.valid

Modification history