Talk:Thue Theorem

linked from http://mizar.org/version/current/html/wsierp_1.html --Ysangkok (talk) 14:28, 8 October 2015 (UTC)