Theorem infClosure_singleton

Modification history