-- -*- M2-comint -*- hash: 392422130

i1 : member(toPython 3, toPython {1, 2, 3})

o1 = true

i2 : member(toPython 4, toPython {1, 2, 3})

o2 = false

i3 : member(3, toPython {1, 2, 3})

o3 = false

i4 : 
