Theorem CategoryTheory.Functor.map_injective_iff

Modification history