Theorem CategoryTheory.Bicategory.inv_whiskerLeft

Modification history