Theorem CommSemiRingCat.coe_comp_of'

Modification history