That said, much of modern mathematics is still fairly informal, with “the proof is left to the reader” implicitly showing up in nearly every written sentence fo

That said, much of modern mathematics is still fairly informal, with “the proof is left to the reader” implicitly showing up in nearly every written sentence for the sake of brevity.