Theorem Ordnode.Valid'.balance

Modification history