Theorem CategoryTheory.FreeBicategory.normalizeAux_congr

Modification history