def ProofWidgets.GoalTypePanel : ProofWidgets.Component ProofWidgets.PanelWidgetProps

Display the goal type using known Expr presenters.

Equations

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