Theorem isClosed_iff_frequently

Modification history