The zero set of a nonzero multivariate polynomial over a domain is null for any finite product of copies of an atomless finite measure.

Initializing...

The zero set of a nonzero multivariate polynomial over a domain is null for any finite product of copies of an atomless finite measure. · Prove2Me