Def CategoryTheory.Bicategory.RightLift.alongId

Modification history