Def CategoryTheory.Bicategory.Equivalence.id

Modification history