Theorem TopologicalSpace.OpenNhdsOf.toOpens_injective

Modification history