Theorem CategoryTheory.SingleObj.comp_as_mul

Modification history