Claims

../

1951_01_01_debruijn: Proves that a real function whose every fixed-shift difference is continuous is a continuous function plus an additive one, answering the question yes; refereed, credited by the site's curator, proved in Lean outside this corpus.

---