We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Removing link to subst++ whose features are now part of the regular `subst` (see also wiki commit dfd8b7b122)
Rename link InductionWithSelfDefinedCases
Update links to teachning material.