Anonymous user
Talk:Proof: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 81:
:::::::: And even <lang j>'A B' induction 'A equals B'</lang> — [[User:Ht|Ht]] 19:19, 5 June 2012 (UTC)
:::::::: With bug fixed version commutativity is broken: <lang j>'A B' induction '(A addition B) equals (B addition A)'
|assertion failure: assert
| assert 0!:3 y</lang>
:::::::: — [[User:Ht|Ht]] 20:15, 5 June 2012 (UTC)
== Huh? ==
|