Theorem CategoryTheory.Bicategory.leftUnitor_whiskerRight

Modification history