Theorem Topology.IsCoherentWith.of_isClosed

Modification history