diff options
Diffstat (limited to 'theories/ZArith/Zlogarithm.v')
| -rw-r--r-- | theories/ZArith/Zlogarithm.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/ZArith/Zlogarithm.v b/theories/ZArith/Zlogarithm.v index 660a58ed6..52e2f552e 100644 --- a/theories/ZArith/Zlogarithm.v +++ b/theories/ZArith/Zlogarithm.v @@ -23,6 +23,7 @@ Require ZArith_base. Require Omega. Require Zcomplements. Require Zpower. +Import Z_scope. Section Log_pos. (* Log of positive integers *) |