Theorem SemiRingCat.coe_id_of

Modification history