From: Ian Jackson Date: Wed, 21 Mar 2012 18:28:07 +0000 (+0000) Subject: simple - improve title cap X-Git-Tag: f0.3~26 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=b09ad3ab2f992e18b31ccd78e3aafc9cc24a2231 simple - improve title cap --- diff --git a/simple.tex b/simple.tex index 82b9076..dfcf907 100644 --- a/simple.tex +++ b/simple.tex @@ -47,7 +47,7 @@ $L$, $D \isin C \implies D \not\in \py$. $\qed$ -\subsection{Coherence and patch inclusion} +\subsection{Coherence and Patch Inclusion} Need to consider $D \in \py$