Old and new formulas for the Hopf-Stiefel and related functions

We give a list of the various formulas describing the Hopf-Stiefel function and provide direct, arithmetical proofs of their equivalence.