Brouwer Fixed Point Theorem in the General Case - Pąk Karol (Formalized Mathematics, 2011)