remove alias Zmod:=Z.modulo (deprecated since 8.17)#149

andres-erbsen merged 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:remove-alias-Zmodandres-erbsen/stdlib:remove-alias-ZmodCopy head branch name to clipboard