Theorem TopologicalSpace.Clopens.coe_finset_sup

Modification history