aboutsummaryrefslogtreecommitdiff
path: root/ga/n2.lyx
diff options
context:
space:
mode:
authorJuan Marín Noguera <juan.marinn@um.es>2020-06-04 20:06:22 +0200
committerJuan Marín Noguera <juan.marinn@um.es>2020-06-04 20:06:22 +0200
commit7544304fd64d461ec6987b51a1fd4f82dd61789f (patch)
tree704bc39717a62b6f1755502d124a7074445f53e7 /ga/n2.lyx
parentdf32fe5f5ee4bb86bcebfb22af3cd16ab76af2fd (diff)
Errata GyA
Diffstat (limited to 'ga/n2.lyx')
-rw-r--r--ga/n2.lyx32
1 files changed, 19 insertions, 13 deletions
diff --git a/ga/n2.lyx b/ga/n2.lyx
index a013e67..45e89fc 100644
--- a/ga/n2.lyx
+++ b/ga/n2.lyx
@@ -3238,7 +3238,7 @@ PID
\end_layout
\begin_layout Description
-\begin_inset Formula $2\iff3]$
+\begin_inset Formula $2\iff3\implies6]$
\end_inset
Visto.
@@ -3251,13 +3251,6 @@ PID
Visto.
\end_layout
-\begin_layout Description
-\begin_inset Formula $3\implies6]$
-\end_inset
-
- Obvio.
-\end_layout
-
\begin_layout Standard
Todo DIP es un DFU.
@@ -3387,7 +3380,13 @@ euclídea
\end_inset
.
-
+\end_layout
+
+\begin_layout Standard
+\begin_inset Newpage pagebreak
+\end_inset
+
+
\end_layout
\begin_layout Standard
@@ -3530,10 +3529,14 @@ Sean
\end_inset
, entonces
-\begin_inset Formula $I=(a)\iff\forall x\in I\setminus\{0\},\delta(a)\leq\delta(x)$
+\begin_inset Formula
+\[
+I=(a)\iff\forall x\in I\setminus\{0\},\delta(a)\leq\delta(x).
+\]
+
\end_inset
-.
+
\begin_inset Note Comment
status open
@@ -3811,10 +3814,13 @@ Sean
\end_inset
, definimos la relación binaria
-\begin_inset Formula $(a_{1},s_{1})\sim(a_{2},s_{2}):\iff a_{1}s_{2}=a_{2}s_{1}$
+\begin_inset Formula
+\[
+(a_{1},s_{1})\sim(a_{2},s_{2}):\iff a_{1}s_{2}=a_{2}s_{1}.
+\]
+
\end_inset
-.
Esta relación es de equivalencia
\begin_inset Note Comment
status open