Universal property of the `t`-chart: a map `φ : R → S` with an element `z` satisfying `φ t · z = φ x` extends uniquely through `R[X]/(tX − x)` sending the slope to `z`.

Initializing...

Universal property of the `t`-chart: a map `φ : R → S` with an element `z` satisfying `φ t · z = φ x` extends uniquely through `R[X]/(tX − x)` sending the slope to `z`. · Prove2Me