mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(topology/{extremally_disconnected, stone_cech}): introduce `extremally_disconnected` class of topological spaces

Open adomani opened this issue 4 years ago • 0 comments

From LTE

Author: Johan Commelin

Zulip discussion

Open in Gitpod

adomani avatar Jul 05 '21 11:07 adomani