Def CategoryTheory.FreeBicategory.normalize

Modification history