Lodha–Moore p. 9 — the only substitution from y_s⁻¹ is the unlisted expansion of y_s⁻¹

Initializing...

Lodha–Moore p. 9 — the only substitution from y_s⁻¹ is the unlisted expansion of y_s⁻¹ · Prove2Me