weasyl.com · 2513851:9598842

This is a commission for Whiskey-Danger on Derpibooru that was paid for in mid-May 2025, but only completed on the last day of July – which was also my last working day at SMRT Corporation before I began my PhD studies at the National University of Singapore on 4 August. In the intervening time the Lean formalisation of Carleson's theorem was completed, leading to my name on its accompanying paper.

My commission info can be found here.

SVG here.

Posted using PostyBirb