Theorem CategoryTheory.Functor.exact_of_exact_map

Modification history