-- -*- M2-comint -*- {* hash: 1837115501 *}
i1 : all({1,2,3,4}, even)
o1 = false
i2 : all({2,4,6,8}, even)
o2 = true
i3 : all(7, x -> x < 10)
o3 = true
i4 :
-- -*- M2-comint -*- {* hash: 1837115501 *}
i1 : all({1,2,3,4}, even)
o1 = false
i2 : all({2,4,6,8}, even)
o2 = true
i3 : all(7, x -> x < 10)
o3 = true
i4 :
::
::
::
