Theorem TopologicalSpace.Closeds.coe_sup

Modification history