Theorem Ordnode.balance_eq_balance'

Modification history