Theorem OrderRingIso.trans_toRingEquiv

Modification history