Theorem CommSemiRingCat.coe_comp_of

Modification history