Did deadmau5 play the tron theme song?

No. Daft Punk made the music and theme song for the Tron movie.