We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b004043
Alpha tag for compatibility with Coq 8.20 and Lean 3
