Theorem CategoryTheory.conjugateEquiv_adjunction_id

Modification history