The zero locus of a polynomial that does not vanish identically on `O^m` is null for the coefficient measure.

Initializing...

The zero locus of a polynomial that does not vanish identically on `O^m` is null for the coefficient measure. · Prove2Me