Theorem CategoryTheory.Bicategory.id_whiskerLeft_symm

Modification history