Theorem CategoryTheory.Bicategory.associator_naturality_left

Modification history