Theorem Ordnode.Valid'.dual

Modification history