Def CategoryTheory.Bicategory.LeftExtension.alongId

Modification history