A transition unit relating two compatible chart representatives is congruent to `1` modulo the `j`-th power of the overlap exceptional ideal.

Initializing...

A transition unit relating two compatible chart representatives is congruent to `1` modulo the `j`-th power of the overlap exceptional ideal. · Prove2Me