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)
commit5ddddeff280bf639d0afc3c52fdf8b401eaa882e
tree53a16d0fdbabc136fe66c25b84a7327e218db794
parent7db83a89024f642d31af0bf619aa8009bec5f4d5
pock.1: Fix clumsy wording in Pocklington proof.
pock.1