Def CategoryTheory.Bicategory.LeftLift.alongId

Modification history