Theorem Ordnode.Sized.dual_iff

Modification history