Ring extensions

Redirect to:

• Subring#Ring extension