i1 : x = chern_3 E o1 = c E 3 o1 : ChernClassVariable |
i2 : chern_3 E <- 444 o2 = 444 |
i3 : E o3 = E o3 : ChernClassVariableTable |
i4 : x o4 = c E 3 o4 : ChernClassVariable |
i5 : value x o5 = 444 |