Theorem CommRingCat.RingEquiv_coe_eq

Modification history