CoCalc -- aw-338.input

open-axiom repository from github

²⁴⁰⁰⁵ views

g := operator 'g
eval(a*g(1783),g, i +-> i)
-- expected: 1783 a