Def CategoryTheory.effectiveEpiStructOfRegularEpi

Modification history

2024-03-19 13:54

Mathlib/CategoryTheory/EffectiveEpi/RegularEpi.lean

chore(CategoryTheory): split the file `CategoryTheory/Sites/EffectiveEpimorphic/Basic.lean` (#11458) …

Modified CategoryTheory.effectiveEpiStructOfRegularEpi View on Github →

2023-11-20 12:33

Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

fix(CategoryTheory): remove unnecessary noncomputable modifier (#8528) …

Added CategoryTheory.effectiveEpiStructOfRegularEpi View on Github →