diff options
| author | Björn Gustavsson <[email protected]> | 2010-07-29 15:23:46 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-07-29 15:23:46 +0200 |
| commit | dee1dc6e9dbb8a3c24e436a468e91e861d1a6950 (patch) | |
| tree | 56065df71024f8024aec37c9071509aef19de570 /lib/stdlib/doc/src/sofs.xml | |
| parent | d7c3a2dd6bdd963fde37236bd9155d59b344f9b2 (diff) | |
| parent | 205cc29241a17736ab93d82459a19fece7ba7b20 (diff) | |
| download | otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.tar.gz otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.tar.bz2 otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.zip | |
Merge branch 'cg/small-typos' into dev
Diffstat (limited to 'lib/stdlib/doc/src/sofs.xml')
| -rw-r--r-- | lib/stdlib/doc/src/sofs.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/sofs.xml b/lib/stdlib/doc/src/sofs.xml index 8c8ae51262..729df1e678 100644 --- a/lib/stdlib/doc/src/sofs.xml +++ b/lib/stdlib/doc/src/sofs.xml @@ -210,7 +210,7 @@ X[i] to Y[i] and S a subset of X[1] × ... × X[n]. The <marker id="multiple_relative_product"></marker><em>multiple - relative product</em> of TR and and S is defined to be the + relative product</em> of TR and S is defined to be the set {z : z = ((x[1], ..., x[n]), (y[1],...,y[n])) for some (x[1], ..., x[n]) in S and for some (x[i], y[i]) in R[i], |