Talk:Harish-Chandra's regularity theorem