We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
9dcb5de
Add compatibility with math-comp 2.3.0.
a6bcc47
Version 0.2.0.
bf96710
Merge pull request #23 from arthuraa/release-0.1.1 Release 0.1.1