I would like to know whether there is something rigorous that covers the basics but is also not verbose.
What I mean is that I'd like it to be concise and proof based.
Not sure if I am explaining myself, basically the Rudin format.