Theorem CategoryTheory.Bicategory.associator_naturality_middle

Modification history