Cool thx. I signed up and got the PDF. I'll have to print and read the proofs... In my books I go for more applied (not using general thm-proof style for each d

Cool thx. I signed up and got the PDF. I'll have to print and read the proofs... In my books I go for more applied (not using general thm-proof style for each detail), so it will be very interesting to see formal proofs presented succinctly.