Two-variable R-inversion on the full slit domain

theorem DirichletTransform.TwoVariable.regCarlsonRSlit_pair_inversion (t u v : ℂ) {x y : ℂ} (hz : pair x y ∈ carlsonRSlitDomain) : regCarlsonRSlit t (pair u v) (pair x y) = x ^ (t + v) * y ^ (t + u) * regCarlsonRSlit (-u - v - t) (pair v u) (pair x y)

Two-variable R-inversion with separate principal powers, valid on the full slit domain.