Math-Classes 8.17.0

This release drops compatibility with Coq < 8.11 and introduces compatibility with Coq 8.17.

What's Changed

• Adapt to Coq 8.17, drop compatibility with Coq < 8.11. by @ppedrot and @Zimmi48 in #111, #112, and #116
• Adapt to Coq 8.18 (version still under development at the time of this release) by @andres-erbsen in #114

New Contributors

• @andres-erbsen made their first contribution in #114

Full Changelog: 8.15.0...8.17.0