Def Stonean.stoneCechObj

Modification history

2023-09-06 11:21

Mathlib/Topology/Category/Stonean/Adjunctions.lean

feat: The forgetful functor on `Stonean` has a left adjoint given by Stone-Cech compactification (#6826)

Added Stonean.stoneCechObj View on Github →