[Python-Dev] Improving docs for len() of set

[Ethan Furman]

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~