Theorem Ordnode.Valid.dual_iff

Modification history