Theorem Ordnode.valid'_nil

Modification history