Brouwer fixed point theorem for disks on the plane. (2005)

by Artur Korniłowicz, Yasunari Shidama
Venue:Formalized Mathematics,