def LeanPool.Polylean.tacticReduce_goal_ : Lean.ParserDescr

reduce_goal transparency replaces the main goal by its reduced form using the chosen transparency mode.

Equations

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