Theorem TopologicalSpace.Opens.apply_def

Modification history