Theorem Ordnode.Sized.rotateL

Modification history