[FOM] Historical Question: Heine-Borel Theorem

[Steve Stevenson]

Good Afternoon:

Apparently, Heine proved the original theorem in 1871 or 1872. When and 
how did Borel's name get attached. We're assuming it was in the 1910s.

Any help greatly appreciated.
best regards,

steve
--------
D. E. Stevenson, Department of Computer Science
Clemson University, Clemson, SC 29634-0974
864.656.6880 http://www.cs.clemson.edu/~steve