Theorem CategoryTheory.Bicategory.whiskerLeft_iff

Modification history