Proposition 1: symmetric decomposition of a $\sigma$-finite measure on $E\times E$ against its transpose

Initializing...

Proposition 1: symmetric decomposition of a $\sigma$-finite measure on $E\times E$ against its transpose · Prove2Me