Theorem infClosed_univ

Modification history