Theorem isClosed_univ

Modification history