Theorem Ordnode.Valid.merge

Modification history