X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=simple.tex;h=5f6e184aad199a55782ac4c8e2884d632fa05663;hp=8740176df91c7a269ba3063daf55a7a5c69570a5;hb=dbc2fa88cece12d33ca5788ad5d359f77676a802;hpb=eac9d727802023f2b9be3df96da17e91fe8d2410 diff --git a/simple.tex b/simple.tex index 8740176..5f6e184 100644 --- a/simple.tex +++ b/simple.tex @@ -56,7 +56,6 @@ $$ \end{cases} $$ \proofstarts -~ Firstly, if $L \haspatch \p$, $\exists_{F \in \py} F \le L$ and this $F$ is also $\le C$