OAI.Problem358.FixedMassIntercepts.exists_actual_atomic_intercept_path: intermediate lemma from OpenAI, Sharp One-Third Stability of Brenier Maps

Initializing...

OAI.Problem358.FixedMassIntercepts.exists_actual_atomic_intercept_path: intermediate lemma from OpenAI, Sharp One-Third Stability of Brenier Maps · Prove2Me