Theorem eq_if_stoneCechUnit_eq

Modification history

2024-07-18 08:27
Mathlib/Topology/StoneCech.lean
feat(Topology): stoneCechUnit injective for T35Space (#12536) …
Added eq_if_stoneCechUnit_eqView on Github →