Oliver Kennedy
|
212b915809
|
Trimming. Down by ~1 column so far.
|
2022-05-18 17:51:12 -04:00 |
|
Aaron Huber
|
37bab00894
|
Small minor changes.
|
2022-05-17 09:29:45 -04:00 |
|
Aaron Huber
|
813a7f73c0
|
Changes to Conjecture 3.2.
|
2022-05-02 08:10:58 -04:00 |
|
Aaron Huber
|
78c73d91d9
|
Revision of Prop 2.4 and proof, Lemma 2.6 proof, etc.
|
2022-04-28 10:58:27 -04:00 |
|
Aaron Huber
|
2208604fac
|
Reworked proof for Lem 4.8.
|
2022-04-26 09:07:15 -04:00 |
|
Aaron Huber
|
cac0a7921b
|
Finished cleaning pass on Appendix A.
|
2022-04-20 09:45:11 -04:00 |
|
Aaron Huber
|
aabae13b75
|
Added proof to Prop 2.4; added text speaking of Grohe's work; started cleaning the appendix.
|
2022-04-19 07:53:10 -04:00 |
|
Aaron Huber
|
0920523d57
|
Almost done fixing layout issues with PODs format.
|
2022-03-15 11:21:11 -04:00 |
|
Aaron Huber
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |
|