Theorem CategoryTheory.epi_iff_isPushout

Modification history

2024-02-09 04:56
Mathlib/CategoryTheory/Limits/EpiMono.lean
feat(CategoryTheory): characterization of epi/mono with limits (#9989) …
Added CategoryTheory.epi_iff_isPushoutView on Github →