Theorem Ordnode.balanceL_eq_balance'

Modification history