Theorem OrderRingIso.trans_toRingEquiv_aux

Modification history

2023-06-12 01:02
Mathlib/Algebra/Order/Hom/Ring.lean
chore: formatting issues (#4947)
Modified OrderRingIso.trans_toRingEquiv_auxView on Github →
2023-02-27 13:48
Mathlib/Algebra/Order/Hom/Ring.lean
feat: port Algebra.Order.Hom.Ring (#1482) …
Added OrderRingIso.trans_toRingEquiv_auxView on Github →