Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stone_cech_unit_dense

Modification history

2020-10-13 21:59
src/topology/stone_cech.lean
refactor(*): migrate to `dense` API (#4447) …
Deleted stone_cech_unit_denseView on Github →
2018-11-05 09:43
analysis/topology/stone_cech.lean
feat(order/filter): ultrafilter monad and the Stone-Cech compactification (#434) …
Added stone_cech_unit_denseView on Github →