Theorem Ordnode.Sized.rotateR

Modification history