If you care about getting all the nitty gritty details of a "rigorous" proof, maybe the quicker approach is to install Lean on your computer and step through a machine-checked proof from Mathlib. What you get from even the most heavyweight math books is still quite far from showing you all the steps involved.