The Brouwer fixed point theorem for intervals (1992)

by T Watanabe
Venue:Formalized Mathematics