User Portlet
| Discussions |
|---|
| Consider the following code: In[1]:= l1={3,3,3} Out[1]= {3,3,3} In[2]:= l2={1,2,3} Out[2]= {1,2,3} In[4]:= ForAll[x,MemberQ[l1,x],Exists[y,MemberQ[l2,y],x==y]] Out[4]= True In[3]:=... |
User Portlet | Discussions |
|---|
| Consider the following code: In[1]:= l1={3,3,3} Out[1]= {3,3,3} In[2]:= l2={1,2,3} Out[2]= {1,2,3} In[4]:= ForAll[x,MemberQ[l1,x],Exists[y,MemberQ[l2,y],x==y]] Out[4]= True In[3]:=... |