chiark / gitweb /
refactor for coherence cases - simple, fix leftover ~
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 21:44:57 +0000 (21:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 21:44:57 +0000 (21:44 +0000)
simple.tex

index 8740176..5f6e184 100644 (file)
@@ -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$