Theorem CategoryTheory.Functor.reflects_precoherent

Modification history

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