Def CategoryTheory.Bicategory.leftAdjoint

Modification history