Theorem Ordnode.size_dual

Modification history