Theorem CommRingCat.coe_comp

Modification history