Theorem CategoryTheory.Functor.effectiveEpi_of_map

Modification history

2024-04-04 13:54
Mathlib/CategoryTheory/EffectiveEpi/Preserves.lean
feat(CategoryTheory): define class `ReflectsEffectiveEpis` (#11476) …
Added CategoryTheory.Functor.effectiveEpi_of_mapView on Github →