Theorem CategoryTheory.injective_of_mono

Modification history