chiark / gitweb /
~mdw / catacomb-python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 7db83a8)
pock.1: Fix clumsy wording in Pocklington proof.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:42:23 +0000 (11:42 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:09 +0000 (11:46 +0100)
pock.1 patch | blob | blame | history

diff --git a/pock.1 b/pock.1
index 4ebf3a6e8abac6639269e001b98bcbee68b9f5cd..7164eb94620b78dd56a3f45bc2870ccf006445fb 100644 (file)
--- a/pock.1
+++ b/pock.1
@@ -514,9 +514,7 @@ dividing
 and,
 from
 .BR 1 ,
-the
-.I q
-are distinct,
+these primes are distinct,
 we deduce that
 .I Q
 divides
Catacomb cryptographic library -- Python bindings