I can't see why. The AMT credit rolled back the original gain to $100 back to the $25 cost. The regular capital gain then taxed the gain to $95. It's as if you never had to pay the AMT except for the money it might have earned had you had the AMT payment in your pocket until you sold.
