Wilfred has been confusing EAS and TAS ... EAS removes density as a variable by definition and, on a simplistic view would suggest that stall EAS is independent of altitude. However, CL also is influenced by Re with the result that CLmax will be reduced at higher altitudes. Solving for EAS stall speed at CLmax then yields a value in excess of the SL figure. Shock separation is not relevant to the discussion.