Theorem infClosed_empty

Modification history