Theorem isClosed_iff_forall_filter

Modification history