Theorem Ordnode.Valid'.node4L_lemma₂

Modification history