def Lean.Meta.Grind.Action.ring : Action

Ring solver action.

Equations

• One or more equations did not get rendered due to their size.