Theorem TopologicalSpace.Opens.coe_finset_inf

Modification history