Theorem Ordnode.Valid'.merge_lemma

Modification history