Claims

../

1954_03_02_lorentz: Lorentz's 1954 theorem gives every infinite set of natural numbers a complement B of density zero with A+B cofinite, with an explicit bound on B's counting function; refereed in Proc. Amer. Math. Soc.; third-party Lean.

---