http://mizar.org/JFM/Vol2/int_ 1.html. boxes for compact sets (1990)

by Integers
Venue:in . . . 13