Values of the chart substitutions `chartSubst`, `xChartSubst` and `killT` on constants and on the two variables.

Initializing...

Values of the chart substitutions `chartSubst`, `xChartSubst` and `killT` on constants and on the two variables. · Prove2Me