I have submitted my thesis.
I keep expecting to wake up, or to spot some glaring error in it. Bizarrely, it actually helped when
wormwood_pearl joked that I'd missed a typo on page 73, and I looked and noticed that there was indeed a piece of notation I wasn't too happy with and had been meaning to fix on that page. But it's nothing important.
I will be in the postgrad club from about 1630 onwards getting drunk: you are all invited.
The stats, for the curious:
Tue Sep 23 00:12:48 BST 2008
7019 lines 35676 words 251872 characters
thesis.log:Output written on thesis.dvi (123 pages, 1111104 bytes).
0 fixmes
97 definitions
173 term-definitions
30 theorems
39 lemmas
10 corollaries
35 examples
203 bullet-points
... and somewhere over 200 commutative diagrams.