Theorem TopologicalSpace.Closeds.coe_finset_sup

Modification history