Theorem CategoryTheory.conjugateEquiv_adjunction_id_symm

Modification history