Theorem Ordnode.Sized.rotateR_size

Modification history