Theorem Ordnode.size_eq_realSize

Modification history