Sophie
-- -*- M2-comint -*- {* hash: 441325579 *} i1 : f = x -> 2*x+1 o1 = f o1 : FunctionClosure i2 : f 100 o2 = 201 i3 :