A coordinate hyperplane `{b | b j = 0}` is measurable and null for the coefficient measure.

Initializing...

A coordinate hyperplane `{b | b j = 0}` is measurable and null for the coefficient measure. · Prove2Me