We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
e60b93c
Compatible with Coq 8.19-20, Hierarchy-Builder >= 1.7.0, MathComp >= 2.3.0, Infotheo >= 0.7.6
