Theorem CategoryTheory.EnoughInjectives.of_adjunction

Modification history