[Python-Dev] Improving docs for len() of set (original) (raw)
Ethan Furman ethan at stoneleaf.us
Mon Feb 8 11:56:38 EST 2016
- Previous message (by thread): [Python-Dev] Improving docs for len() of set
- Next message (by thread): [Python-Dev] Improving docs for len() of set
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message (by thread): [Python-Dev] Improving docs for len() of set
- Next message (by thread): [Python-Dev] Improving docs for len() of set
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]