Theorem CategoryTheory.ihom.ihom_adjunction_counit

Modification history