Theorem infClosed_singleton

Modification history