Structure CategoryTheory.Adjunction.CoreUnitCounit

Modification history