Theorem Ordnode.Valid'.balance'

Modification history