e/Hauptvermutung

Information
has gloss	eng: The Hauptvermutung (German for main conjecture) of geometric topology is the conjecture that every triangulable space has an essentially unique triangulation. It was originally formulated in 1908, by Steinitz and Tietze.
lexicalization	eng: Hauptvermutung
instance of	c/Disproved conjectures