Theorem CategoryTheory.Functor.effectiveEpiFamily_of_map

Modification history

2024-07-01 02:54
Mathlib/CategoryTheory/EffectiveEpi/Preserves.lean
chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)
Modified CategoryTheory.Functor.effectiveEpiFamily_of_mapView on Github →
2024-04-04 13:54
Mathlib/CategoryTheory/EffectiveEpi/Preserves.lean
feat(CategoryTheory): define class `ReflectsEffectiveEpis` (#11476) …
Added CategoryTheory.Functor.effectiveEpiFamily_of_mapView on Github →