pock.1: Fix Pocklington proof.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:37:57 +0000 (11:37 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:09 +0000 (11:46 +0100)
commit69afd8a9c358463781df88ed3e35abbd5042e42f
tree29867ed9af29df634d96455f0bbe06b9b1204cae
parent13c5ef3999d1779ddd625fc831ff757407efb840
pock.1: Fix Pocklington proof.

Obviously t^q = a^{n-1} == 1 (mod n).  It makes sense now.
pock.1