Theorem Ordnode.Sized.dual

Modification history