Talk:Pocklington's theorem

this is linked from http://mizar.org/version/current/html/nat_4.html --Ysangkok (talk) 13:06, 8 October 2015 (UTC)