Theorem CategoryTheory.Bicategory.inv_whiskerRight

Modification history