Theorem lowerClosure_univ

Modification history