Theorem OrderRingIso.toRingEquiv_eq_coe

Modification history