Theorem CategoryTheory.Bicategory.whisker_assoc_symm

Modification history