Def CategoryTheory.EffectiveEpiStructId

Modification history

2023-11-30 10:58

Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

feat(CategoryTheory): `Preregular` and `FinitaryPreExtensive` implies `Precoherent` (#8643) …

Deleted CategoryTheory.EffectiveEpiStructId View on Github →

2023-11-03 14:28

Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

feat: `CompHaus` and friends are preregular (#8126) …

Added CategoryTheory.EffectiveEpiStructId View on Github →