Theorem TopologicalSpace.Closeds.coe_finset_inf

Modification history