Def CategoryTheory.FreeBicategory.normalizeEquiv

Modification history