Theorem CategoryTheory.EffectiveEpiFamily.toCompHaus

Modification history

2024-06-10 10:51
Mathlib/Topology/Category/Stonean/EffectiveEpi.lean
refactor(Topology/Category): derive `Preregular` instances for `Profinite` and `Stonean` from the one on `CompHaus` (#12966)
Deleted CategoryTheory.EffectiveEpiFamily.toCompHausView on Github →
2023-08-23 08:35
Mathlib/Topology/Category/Stonean/EffectiveEpi.lean
feat: `Stonean` is precoherent (#6725) …
Added CategoryTheory.EffectiveEpiFamily.toCompHausView on Github →