Heine--Borel's covering theorem (1991)

by Agata Darmochwal, Yatsuka Nakamura
Venue:Formalized Mathematics