Additional instances for two sided ideals.

instance instNonUnitalSubringClassTwoSidedIdeal {R : Type u_1} [NonUnitalNonAssocRing R] : NonUnitalSubringClass (TwoSidedIdeal R) R

Equations

• ⋯ = ⋯