Weyl's dimension formula