Theorem TopologicalSpace.Closeds.coe_inf

Modification history