Although all of Theodorus' work has been lost, Plato put Theodorus into his dialogue Theaetetus, which tells of his work.
Plato does not attribute the irrationality of the square root of 2 to Theodorus, because it was well known before him.