wip exclusive haspatch - fix Anticommit wip

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 166ae1782d6c8be8030260acb0440952479ae3c4..3d2057ef298e25e30d09b23b4ac0c822c411772f 100644 (file)
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -110,7 +110,8 @@ If $L \nothaspatch \p$, $D \not\isin L$ so $D \not\isin C$.
 So $L \nothaspatch \p \implies C \nothaspatch \p$.
 
 Whereas if $L \haspatch \p$, $D \isin L \equiv D \le L$.
-so $L \haspatch \p \implies C \haspatch \p$.
+so $L \haspatch \p \implies C \zhaspatch \p$.
+fixme up to here pdf page 13
 
 $\qed$