riemann-curvature-tensor-of-S4.egi

"\"egison\" (line 29, column 12):\nunexpected \"_\"\nexpecting top-level expression"