Order instances on subalgebras

instance Subalgebra.toIsOrderedRing {R : Type u_1} {A : Type u_2} [CommSemiring R] [Semiring A] [PartialOrder A] [IsOrderedRing A] [Algebra R A] (S : Subalgebra R A) : IsOrderedRing ↥S

instance Subalgebra.toIsStrictOrderedRing {R : Type u_1} {A : Type u_2} [CommSemiring R] [Semiring A] [PartialOrder A] [IsStrictOrderedRing A] [Algebra R A] (S : Subalgebra R A) : IsStrictOrderedRing ↥S