Theorem CategoryTheory.epi_iff_inl_eq_inr

Modification history

2024-07-28 23:33

Mathlib/CategoryTheory/Limits/EpiMono.lean

chore: robustifying for debug.byAsSorry (part 13) (#15197)

Modified CategoryTheory.epi_iff_inl_eq_inr View on Github →

2024-02-09 04:56

Mathlib/CategoryTheory/Limits/EpiMono.lean

feat(CategoryTheory): characterization of epi/mono with limits (#9989) …

Added CategoryTheory.epi_iff_inl_eq_inr View on Github →