Replace deprecated alias Zmod with Z.modulo#134

spitters merged 1 commit intorocq-community:masterrocq-community/math-classes:masterfrom

andres-erbsen:Zmodulo-instead-of-Zmodandres-erbsen/math-classes:Zmodulo-instead-of-ZmodCopy head branch name to clipboard