On the branching theorem for the pair \((F_4, \mathrm{Spin}(9))\)
scientific article; zbMATH DE number 5124579