Anonymous user
Talk:Proof: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
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? ==
|