Theorem CommSemiRingCat.coe_id_of

Modification history