Jeff Burdges c2f1316977 Appears to be a missing negation in Theorem 4.1 and .. ...

I replaced an "or such that" with "in either case such that"

Also some formatting changes

2018-11-09 16:27:42 +01:00

..

.gitignore

Expanded introduction

2018-09-25 14:39:06 +02:00

grandpa.bib

Another attempt at formalising the definition.

2018-11-09 12:00:27 +01:00

grandpa.pdf

Let's see if this merge thing works.

2018-11-09 12:12:20 +01:00

grandpa.tex

Appears to be a missing negation in Theorem 4.1 and ..

2018-11-09 16:27:42 +01:00