Theorem TopologicalSpace.Opens.comap_id

Modification history