Supremum argument: the open column $]a,b[\times\{b\}$ has marginal-determined mass · Prove2Me

P

Initializing...

Supremum argument: the open column $]a,b[\times\{b\}$ has marginal-determined mass · Prove2Me