Theorem CategoryTheory.Functor.mono_map_iff_mono

Modification history