Theorem CategoryTheory.ihom.ihom_adjunction_unit

Modification history