From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 21 Mar 2012 21:44:57 +0000 (+0000)
Subject: refactor for coherence cases - simple, fix leftover ~
X-Git-Tag: f0.3~14
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=8492bec613122a6ef044417aab0c7d6d74ca03fe;p=topbloke-formulae.git

refactor for coherence cases - simple, fix leftover ~
---

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$