Theorem CategoryTheory.effectiveEpiFamilyStructOfEquivalence_aux

Modification history

2024-03-19 13:54

Mathlib/CategoryTheory/EffectiveEpi/Preserves.lean

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

Modified CategoryTheory.effectiveEpiFamilyStructOfEquivalence_aux View on Github →

2024-02-17 16:15

Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

feat(CategoryTheory): equivalences of categories preserve effective epis (#10421)

Added CategoryTheory.effectiveEpiFamilyStructOfEquivalence_aux View on Github →