Template:Heine–Borel theorem/Metadata