Talk:Proof: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
| Line 81: | Line 81: | ||
:::::::: And even <lang j>'A B' induction 'A equals B'</lang> — [[User:Ht|Ht]] 19:19, 5 June 2012 (UTC) |
:::::::: 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? == |
== Huh? == |
||