{"schema":"vela.problem-packet.v0.1","problem":1126,"statement":"If\\[f(x+y)=f(x)+f(y)\\]for almost all $x,y\\in \\mathbb{R}$ then there exists a function $g$ such that\\[g(x+y)=g(x)+g(y)\\]for all $x,y\\in\\mathbb{R}$ such that $f(x)=g(x)$ for almost all $x$.","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}