Theorem CategoryTheory.Bicategory.unitors_equal

Modification history