We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:ctf { eq [ <label-exp> ] <term> = <term> .}
Applies case splitting after a set of boolean expressions. Not discharged sub-goals will remain in the reduced form.
Related: :ctf-, citp
:ctf-
citp