Weyl's denominator formula

Summary