Transversality transports along a ring isomorphism `Θ` sending the parameter `e` to a unit multiple of `eT`: if multiplication by `e` is injective modulo `g`, then multiplication by `eT` is injective

Initializing...

Transversality transports along a ring isomorphism `Θ` sending the parameter `e` to a unit multiple of `eT`: if multiplication by `e` is injective modulo `g`, then multiplication by `eT` is injective · Prove2Me