Advanced Microeconomic Theory- An Intuitive Approach With Examples -mit Press-.pdf
For instance, when discussing general equilibrium, you won’t just see a proof of the existence of Walrasian equilibrium using Brouwer’s fixed-point theorem. You will first solve a simple 2x2 exchange economy, then a 3-good production economy, and then graduate to the abstract theorem. This scaffolding is ideal for self-study.
The book briefly reviews these in an appendix, but the review is brisk. You will need to supplement with Simon & Blume’s Mathematics for Economists if rusty. when discussing general equilibrium