Theorem eq_if_preStoneCechUnit_eq

Modification history

2024-06-28 14:12
Mathlib/Topology/StoneCech.lean
refactor: redefine Stone-Čech compactification (#14108) …
Added eq_if_preStoneCechUnit_eqView on Github →