Gcongr widget #
This file defines a
gcongr? tactic that displays a widget panel allowing to generate
gcongr call with holes specified by selecting subexpressions in the goal.
Return the link text and inserted text above and below of the gcongr widget.
- One or more equations did not get rendered due to their size.