Theorem CategoryTheory.Functor.reflects_preregular

Modification history

2024-04-05 23:45
Mathlib/CategoryTheory/Sites/Coherent/ReflectsPreregular.lean
feat(CategoryTheory): reflecting the property of being precoherent and preregular (#11502) …
Added CategoryTheory.Functor.reflects_preregularView on Github →