Bolzano-Weierstrass Theorem/Historical Note

Historical Note on Bolzano-Weierstrass Theorem
The Bolzano-Weierstrass Theorem is a crucial property of the real numbers discovered independently by both and  during their work on putting real analysis on a rigorous logical footing.

It was originally referred to as Weierstrass's Theorem until 's thesis on the subject was rediscovered.