On 02/08/2016 08:49 AM, Andrew Barnert via Python-Dev wrote:
> +{{}}
>
> (using the normal von Neumann definitions for 0={} and
> Succ(n) = n U {n})
I'm glad you know what you meant, 'cause I haven't got a clue!
:)
--
~Ethan~
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
