def ProofWidgets.GoalTypePanel : Component PanelWidgetProps

Display the goal type using known Expr presenters.

Equations

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