Theorem Stonean.epi_iff_surjective

Modification history

2023-09-06 11:21
Mathlib/Topology/Category/Stonean/Basic.lean
feat: Stonean is projective in Profinite (#6809) …
Modified Stonean.epi_iff_surjectiveView on Github →
2023-08-23 08:35
Mathlib/Topology/Category/Stonean/EffectiveEpi.lean
feat: `Stonean` is precoherent (#6725) …
Added Stonean.epi_iff_surjectiveView on Github →