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

by Integers
Venue:in . . . 13