Talk:Proof: Difference between revisions
Content added Content deleted
No edit summary |
|||
| Line 87: | Line 87: | ||
:::::::: — [[User:Ht|Ht]] 20:15, 5 June 2012 (UTC) |
:::::::: — [[User:Ht|Ht]] 20:15, 5 June 2012 (UTC) |
||
:::::::: Yes -- should be fixed now though. Free variables are now distinct in the context of arithmetic but are associated with a canonical (but arbitrary) ordering when generating results. --[[User:Rdm|Rdm]] 21:17, 5 June 2012 (UTC) |
|||
== Huh? == |
== Huh? == |
||