Theorem CategoryTheory.ConcreteCategory.mono_of_injective

Modification history