Yes, Sichuan pepper and Szechuan pepper is the same thing. Szechuan is just a Westernized spelling of province of Sichuan (四川).