Theorem TopologicalSpace.Opens.coe_eq_empty

Modification history