The surface relation after the t-chart substitution at a unit `θ` (with base change) and after the x-chart substitution is again a surface relation.

Initializing...

The surface relation after the t-chart substitution at a unit `θ` (with base change) and after the x-chart substitution is again a surface relation. · Prove2Me