Theorem SemiRingCat.RingEquiv_coe_eq

Modification history