Theorem CategoryTheory.FreeBicategory.normalize_naturality

Modification history