diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-20 21:46:32 +0100 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-20 21:46:32 +0100 |
| commit | e416faa646c0721f2ddad6e4060c2eaa4dad8a25 (patch) | |
| tree | f088965e3e8c1236021b80bbdc51385d56305350 /si/n3.lyx | |
| parent | 770fbe30f767b0cd5d6e0ab9f4584f2ec0ed7f7a (diff) | |
Apuntes SSII completos
Diffstat (limited to 'si/n3.lyx')
| -rw-r--r-- | si/n3.lyx | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1486,9 +1486,11 @@ gets n$ \backslash -Repetir{para $(u_i,S) +Repetir{$ \backslash -in A$ sea $S +forall(u_i,S) +\backslash +in A,S \backslash nsubseteq R$}{ \end_layout |