Math-Classes 8.15.0

This new version of Math Classes includes one new feature, restores compatibility with Coq 8.6-8.10 and introduces compatibility with Coq 8.15.

What's Changed

• Added group tactic and automated some proofs in groups.v, by @mdgeorge4153 in #100
• Compatibility with coq <= 8.10, by @larsr in #102
• Compatibility with Coq 8.15, by @ppedrot in #105
• CI tests Coq versions 8.6 up to 8.15, by @Zimmi48 in #103 and #110

New Contributors

• @mdgeorge4153 made their first contribution in #100
• @larsr made their first contribution in #102