Theorem CategoryTheory.Bicategory.whiskerLeft_rightUnitor_inv

Modification history