For a nonzero affine direction, the direction point generates a maximal ideal of the overlap chart that contains `t` and contracts back to the direction point.

Initializing...

For a nonzero affine direction, the direction point generates a maximal ideal of the overlap chart that contains `t` and contracts back to the direction point. · Prove2Me