Theorem WithZeroTopology.isClosed_iff

Modification history