Theorem Stonean.mono_iff_injective

Modification history

2024-07-30 16:32
Mathlib/Topology/Category/Stonean/Adjunctions.lean
refactor(Topology/Category): refactor Stonean.Basic (#13911) …
Deleted Stonean.mono_iff_injectiveView on Github →
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.mono_iff_injectiveView on Github →