Page "Smooth vector (representation theory)" not found :(