e/Blattner's conjecture

Information
has gloss	eng: In mathematics, Blattner's conjecture was a description of the discrete series representations of a general semisimple group G in terms of their restricted representations to a maximal compact subgroup K (their so-called K-types), formulated by Robert J Blattner. At the time, direct constructions of the discrete series were not known. The conjecture was proved by Hecht and Schmid in 1975. The result is now often known as the Blattner formula.
lexicalization	eng: Blattner's conjecture
instance of	(noun) a hypothesis that has been formed by speculating or conjecturing (usually with little hard evidence); "speculations about the outcome of the election"; "he dismissed it as mere conjecture" conjecture, speculation