Theorem CategoryTheory.Bicategory.unitors_inv_equal

Modification history