Theorem isClopen_univ

Modification history