Theorem Ordnode.Valid'.rotateL_lemma₂

Modification history