Theorem Ordnode.any_singleton

Modification history