§9.4: θ⁻ · mrX(θ f, θ g) = (f ∗ g)/T for ζ^{t_D} = -1 · Prove2Me

P

Initializing...

§9.4: θ⁻ · mrX(θ f, θ g) = (f ∗ g)/T for ζ^{t_D} = -1 · Prove2Me