We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
48f0671
Compatible with Coq 8.14-16, MathComp 1.13-16. Hierarchy-Builder 1.3.0