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