Fix point theorem for compact spaces (1991)

by Alicia de la Cruz
Venue:Journal of Formalized Mathematics