If `(t, x)` is a regular sequence, then `t` is a nonzerodivisor on the `t`-chart. · Prove2Me

P

Initializing...

If `(t, x)` is a regular sequence, then `t` is a nonzerodivisor on the `t`-chart. · Prove2Me