Theorem Set.setOf_bot

Modification history

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