Structure CategoryTheory.Adjunction.CoreHomEquiv

Modification history