We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
875daef
Compatible with Coq 8.14-15 (not 8.16), MathComp 1.13-15. Hierarchy-Builder 1.3.0