Theorem CategoryTheory.Functor.reflects_exact_of_faithful

Modification history