Mixed integrals sum to at most $\max\{d(A,C),d(B,D)\}$ · Prove2Me

P

Initializing...

Mixed integrals sum to at most $\max\{d(A,C),d(B,D)\}$ · Prove2Me