Theorem CategoryTheory.Bicategory.whiskerLeft_rightUnitor

Modification history