Talk:Proof: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
Line 79: | Line 79: | ||
:::::::: |
:::::::: |
||
:::::::: — [[User:Ht|Ht]] 19:06, 5 June 2012 (UTC) |
:::::::: — [[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? == |
== Huh? == |