Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-26 13:04:10 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Another "position in the mainline" -> "mainline position"

Browse source 
Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
This commit is contained in:
David Robertson 2022-06-14 18:11:10 +01:00 committed by GitHub
parent fe979ee50f
commit 5945937ffd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/rooms/fragments/v2-state-res.md
View file

@ -107,7 +107,7 @@ Now compare these two lists as follows.
* If such a *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique * If such a *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique
index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater
than any integer. than any integer.
* In both cases, the *position of e in the mainline of P* is *i*. * In both cases, the *mainline position* of *e* is *i*.
The *mainline ordering based on* *P* of a set of events is the ordering, The *mainline ordering based on* *P* of a set of events is the ordering,
from smallest to largest, using the following comparison relation on from smallest to largest, using the following comparison relation on