The completion of the `x`-chart at its origin `(x, t/x)` is the child concrete surface with exponents `(a + b, a)`, compatibly with the `x`-chart substitution.

Initializing...

The completion of the `x`-chart at its origin `(x, t/x)` is the child concrete surface with exponents `(a + b, a)`, compatibly with the `x`-chart substitution. · Prove2Me