Theorem CategoryTheory.Bicategory.whiskerRight_comp_symm

Modification history