Theorem Ordnode.Valid'.balance'_aux

Modification history