Theorem Ordnode.Valid'.eraseMin_aux

Modification history