The Additive Inverse of a Dedekind Cut: Part 1

We prove that a Dedekind cut has an additive inverse.
#mikedabkowski, #mikethemathematician, #profdabkowski, #realanalysis