Theorem Ordnode.Valid'.rotateL_lemma₁

Modification history