Weyl's character formula

Summary