Message227831
There is other definition of the <= operator for sets: "A <= B" is equivalent to "len(A - B) == 0". Extending to Counter this can mean "len(A.subtract(B).elements()) == 0". |
|
Date |
User |
Action |
Args |
2014-09-29 20:35:26 | serhiy.storchaka | set | recipients:
+ serhiy.storchaka, steven.daprano, cool-RR |
2014-09-29 20:35:26 | serhiy.storchaka | set | messageid: <1412022926.7.0.368845040116.issue22515@psf.upfronthosting.co.za> |
2014-09-29 20:35:26 | serhiy.storchaka | link | issue22515 messages |
2014-09-29 20:35:26 | serhiy.storchaka | create | |
|