Theorem CategoryTheory.Bicategory.associator_inv_naturality_left

Modification history