Def CategoryTheory.Bicategory.RightExtension.alongId

Modification history