Theorem infClosure_univ

Modification history