Theorem SemiRingCat.coe_comp_of'

Modification history