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