Content deleted Content added
m Open access bot: doi added to citation with #oabot. |
→Union by size: replaced "rename variables" with "swap variables" |
||
Line 139:
'''end if'''
''// If necessary,
''// x has at least as many descendants as y''
'''if''' ''x''.size < ''y''.size '''then'''
| |||