Theorem isOpen_univ

Modification history