Theorem CategoryTheory.Bicategory.associator_inv_naturality_right

Modification history