Math-Classes 9.0.0

What's Changed

• Adapt to rocq-prover/rocq#19530 by @proux01 in #131
• fully qualify unimported ZArith lemmas (for rocq-prover/rocq#19801) by @andres-erbsen in #132
• Replace deprecated alias Zmod with Z.modulo by @andres-erbsen in #134
• Remove useless ... by @SkySkimmer in #137
• Update maintainer list in README. by @Zimmi48 in #130
• Update docker-action.yml by @SkySkimmer in #135
• Update CI for latest templates and test more modern Coq/Rocq versions. by @Zimmi48 in #136

Full Changelog: 8.19.0...9.0.0