Theorem preStoneCechExtend_preStoneCechUnit

Modification history

2025-06-07 14:03

Mathlib/Topology/StoneCech.lean

feat: tychonoff space ↔ embedded on Stone-Čech compactification (#24909) …

Added preStoneCechExtend_preStoneCechUnit View on Github →