Finite contact transports along a ring isomorphism `Θ` sending the parameter `e` to a unit multiple of `eT`: if a power of `MS` lies in `(g, e)` and `MT ⊆ Θ(MS)`, then for every `j` a power of `MT` li

Initializing...

Finite contact transports along a ring isomorphism `Θ` sending the parameter `e` to a unit multiple of `eT`: if a power of `MS` lies in `(g, e)` and `MT ⊆ Θ(MS)`, then for every `j` a power of `MT` li · Prove2Me