fixed point theorem for disks on the plane (0)

by A Korniłowicz, Y Shidama, Brouwer
Venue:Formalized Mathematics