Theorem Ordnode.Valid'.dual_iff

Modification history