Theorem infClosed_infClosure

Modification history