A generator `g` of an ideal of the state set and the parameter `T` form a regular sequence in both orders.

Initializing...

A generator `g` of an ideal of the state set and the parameter `T` form a regular sequence in both orders. · Prove2Me