Theorem CategoryTheory.Bicategory.rightUnitor_comp

Modification history