Theorem Ordnode.valid'_singleton

Modification history