Claims

../

1965_08_01_jurkat: Proves that a real function additive for almost every pair of reals agrees almost everywhere with a unique everywhere-additive function, by a conull-sumset construction; refereed and credited by the site.

1966_01_01_debruijn: Proves that a real function additive for almost every pair of reals agrees almost everywhere with an everywhere-additive function, by translation differences; refereed, credited by the site, formalized by others in Lean.

---