Theorem TopologicalSpace.CompactOpens.coe_inf

Modification history