We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
5168a2d
Removing (hopefully temporarily) the especialize tactic, due to an incompatibility with coq-8.18.
especialize
