From 403c9587c9791651399beca5724723a9ce239ea4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 29 Jun 2018 18:41:36 +0200
Subject: [PATCH] docs: fix typo
---
docs/algebra.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/algebra.tex b/docs/algebra.tex
index 194c53066..0c86d2aae 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -145,7 +145,7 @@ Notice also that the core of an RA is a strict generalization of the unit that a
\begin{defn}
It is possible to do a \emph{frame-preserving update} from $\melt \in \monoid$ to $\meltsB \subseteq \monoid$, written $\melt \mupd \meltsB$, if
- \[ \All \maybe{\melt_\f} \in \maybe\monoid. \melt \mtimes \mvalFull(\maybe{\melt_\f}) \Ra \Exists \meltB \in \meltsB. \meltB \mtimes \mvalFull(\maybe{\melt_\f}) \]
+ \[ \All \maybe{\melt_\f} \in \maybe\monoid. \mvalFull(\melt \mtimes \maybe{\melt_\f}) \Ra \Exists \meltB \in \meltsB. \mvalFull(\meltB \mtimes \maybe{\melt_\f}) \]
We further define $\melt \mupd \meltB \eqdef \melt \mupd \set\meltB$.
\end{defn}
--
GitLab