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

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