Theorem CategoryTheory.Bicategory.associator_inv_naturality_middle

Modification history