Def CategoryTheory.effectiveEpiStructIsColimitDescOfEffectiveEpiFamily

Modification history

2024-03-19 13:54
Mathlib/CategoryTheory/EffectiveEpi/Coproduct.lean
chore(CategoryTheory): split the file `CategoryTheory/Sites/EffectiveEpimorphic/Basic.lean` (#11458) …
Modified CategoryTheory.effectiveEpiStructIsColimitDescOfEffectiveEpiFamilyView on Github →
2024-02-24 00:18
Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean
chore(CategoryTheory): remove an unnecessary instance and golf a proof in the effective epi file (#10734) …
Added CategoryTheory.effectiveEpiStructIsColimitDescOfEffectiveEpiFamilyView on Github →