Every element of `(t, x)^j` is a homogeneous combination `∑ cᵢ t^(j-i) xⁱ` of degree-`j` monomials.

Initializing...

Every element of `(t, x)^j` is a homogeneous combination `∑ cᵢ t^(j-i) xⁱ` of degree-`j` monomials. · Prove2Me