Theorem CategoryTheory.EnoughInjectives.of_equivalence

Modification history