Theorem CategoryTheory.Bicategory.associator_naturality_right

Modification history