Theorem Ordnode.Valid'.rotateL_lemma₄

Modification history