We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
076edc2
Compatible with Coq 8.16-17, MathComp 1.16-17. Hierarchy-Builder >= 1.3.0