Theorem CommSemiRingCat.RingEquiv_coe_eq

Modification history