diff options
| -rw-r--r-- | src/Util/ZUtil/Modulo/PullPush.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/Modulo/PullPush.v b/src/Util/ZUtil/Modulo/PullPush.v index 7e3a9b46a..a284e61c9 100644 --- a/src/Util/ZUtil/Modulo/PullPush.v +++ b/src/Util/ZUtil/Modulo/PullPush.v @@ -127,5 +127,5 @@ Module Z. Lemma opp_mod_mod_push a n : NoZMod a -> (-a) mod n = (-(a mod n)) mod n. Proof. intros; apply opp_mod_mod; assumption. Qed. - Hint Rewrite opp_mod_mod using solve [ NoZMod ] : push_Zmod. + Hint Rewrite opp_mod_mod_push using solve [ NoZMod ] : push_Zmod. End Z. |