Theorem cofinite_topology.is_open_iff

Modification history