A formalisation of Dubins’ proof to Skorokhod’s embedding theorem Shaikh Ammar 14 Dec 2025 created 14 Dec 2025 08:13 updated 20 Dec 2025 08:17 Timeout: process took more than 60 seconds to complete. Comment Follow Like 0 Categorize Download Share
Chun Ding 15 Dec 2025 Would it be better to move the proofs outside of the theorem environments? reply Follow Vote 0
Comments
Would it be better to move the proofs outside of the theorem environments?