Theorem Set.setOf_top

Modification history

2023-10-21 09:35
Mathlib/Data/Set/Basic.lean
feat: Adjunction between topological spaces and locales (#4593) …
Added Set.setOf_topView on Github →