Theorem CategoryTheory.Bicategory.hom_inv_whiskerRight

Modification history