Theorem TopologicalSpace.Opens.comap_injective

Modification history