Revision as of 19:06, 5 June 2012 (view source) rosettacode>Ht No edit summary ← Older edit		Revision as of 19:19, 5 June 2012 (view source) rosettacode>Ht No edit summary Newer edit →
Line 79: :::::::: :::::::: — [[User:Ht\|Ht]] 19:06, 5 June 2012 (UTC) :::::::: And even <lang j>'A B' induction 'A equals B'</lang> — [[User:Ht\|Ht]] 19:19, 5 June 2012 (UTC) == Huh? ==

Talk:Proof (view source)