Mathlib Changelog
v4
Changelog
About
Github
Theorem
ultrafilter_extend_extends
Modification history
2025-06-07 14:03
Mathlib/Topology/StoneCech.lean
feat: tychonoff space ↔ embedded on Stone-Čech compactification (#24909) …
Modified
ultrafilter_extend_extends
View on Github →
2023-02-07 15:42
Mathlib/Topology/StoneCech.lean
feat: port Topology.StoneCech (#2147)
Added
ultrafilter_extend_extends
View on Github →