Theorem CategoryTheory.Functor.finite_effectiveEpiFamily_of_map

Modification history

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