diff options
Diffstat (limited to 'src/Arithmetic/ModularArithmeticPre.v')
-rw-r--r-- | src/Arithmetic/ModularArithmeticPre.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Arithmetic/ModularArithmeticPre.v b/src/Arithmetic/ModularArithmeticPre.v index b27ffd16d..3063d3a51 100644 --- a/src/Arithmetic/ModularArithmeticPre.v +++ b/src/Arithmetic/ModularArithmeticPre.v @@ -136,4 +136,4 @@ Next Obligation. replace (Z.succ (m - 2)) with (m-1) by omega. rewrite (Zmod_small 1) by omega. apply (fermat_little m Hm a Ha). -Qed.
\ No newline at end of file +Qed. |