Merge pull request #134 from andres-erbsen/Zmodulo-instead-of-Zmod

Replace deprecated alias Zmod with Z.modulo

Author: spitters

implementations/stdlib_binary_integers.v

@@ -261,7 +261,7 @@ Qed.
 #[global]
 Instance Z_div: DivEuclid Z := Z.div.
 #[global]
-Instance Z_mod: ModEuclid Z := Zmod.
+Instance Z_mod: ModEuclid Z := Z.modulo.
 
 #[global]
 Instance: EuclidSpec Z _ _.