Theorem Topology.IsInducing.Topology.IsClosedEmbedding.of_comp_iff

Modification history