Disambiguation evidence for Borel–Lebesgue theorem via surface form

"Heine–Borel theorem for products of closed bounded intervals in R"

Triples (1)

Triples where some other subject referred to this entity as "Heine–Borel theorem for products of closed bounded intervals in R".

Tychonoff theorem for products of compact spaces → generalizes →
"Heine–Borel theorem for products of closed bounded intervals in R"
↳ resolves to Borel–Lebesgue theorem
ⓘ