Constructing and calculating Adams operations on topological modular forms - Jack Morgan Davies (2021)