Structure CategoryTheory.Adjunction.CoreHomEquivUnitCounit

Modification history