I've been wanting to see what this topic is all about for awhile now. I see the word "Manifold" and other terminology floating around on the forum. It got me really curious. I wonder what the prerequisites are to reading a book like this? Hypothetically I have the prerequisites, what would you recommend for a first time read? I care about how rigorous the book is in proving theorems. Something unfounded wouldn't be worth reading.