diff options
Diffstat (limited to 'src/Arithmetic/Karatsuba.v')
-rw-r--r-- | src/Arithmetic/Karatsuba.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Arithmetic/Karatsuba.v b/src/Arithmetic/Karatsuba.v index ad5e25be8..1873e5ef1 100644 --- a/src/Arithmetic/Karatsuba.v +++ b/src/Arithmetic/Karatsuba.v @@ -1,10 +1,11 @@ Require Import Coq.ZArith.ZArith. Require Import Coq.micromega.Lia. Require Import Crypto.Algebra.Nsatz. -Require Import Crypto.Util.ZUtil Crypto.Util.LetIn Crypto.Util.CPSUtil. +Require Import Crypto.Util.LetIn Crypto.Util.CPSUtil. Require Import Crypto.Arithmetic.Core. Import B. Import Positional. Require Import Crypto.Util.Tuple. Require Import Crypto.Util.IdfunWithAlt. +Require Import Crypto.Util.ZUtil.EquivModulo. Local Open Scope Z_scope. Section Karatsuba. |