Theorem Ordnode.all_dual

Modification history