Theorem CategoryTheory.Bicategory.inv_hom_whiskerLeft

Modification history