~mdw
/
catacomb-python
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.gdbinit: Delete this obsolete file.
[catacomb-python]
/
pock.1
diff --git
a/pock.1
b/pock.1
index
7164eb9
..
6879bc5
100644
(file)
--- a/
pock.1
+++ b/
pock.1
@@
-765,6
+765,13
@@
Hasse's theorem tells us that
.RI # E\*(usp\*(ue |
\(<=
.RI 2\*(sr p ,
.RI # E\*(usp\*(ue |
\(<=
.RI 2\*(sr p ,
+so, in particular,
+.RI # E\*(usp\*(ue
+\-
+.I p
+\- 1
+\(<=
+.RI 2\*(sr p ,
whence
.I p
+ 1 +
whence
.I p
+ 1 +