Theorem CategoryTheory.Functor.map_exact

Modification history