Each exceptional layer of the chart is `R`-linearly isomorphic to `(R/(t,x))[Z]`, the monomial `r Z^i` corresponding to the layer class of `r · z^i`.

Initializing...

Each exceptional layer of the chart is `R`-linearly isomorphic to `(R/(t,x))[Z]`, the monomial `r Z^i` corresponding to the layer class of `r · z^i`. · Prove2Me