We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:equation
Adds the critical pair computed by the last :cp command as equation to the current goal.
:cp
Related: :rule, :cp, citp
:rule
citp