Def CategoryTheory.Adjunction.mapCommMon

Modification history