Theorem Alexandroff.infty_mem_opensOfCompl

Modification history