Def CategoryTheory.FreeBicategory.normalizeIso

Modification history