Theorem CategoryTheory.Injective.injective_of_adjoint

Modification history