From e2f389584ba76472888a60d386efcd9731c515a9 Mon Sep 17 00:00:00 2001 From: David Robertson Date: Tue, 14 Jun 2022 18:38:35 +0100 Subject: [PATCH] Explicitly say that we want mainline positions from P Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com> --- content/rooms/fragments/v2-state-res.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md index ceb132e2..c9dc2624 100644 --- a/content/rooms/fragments/v2-state-res.md +++ b/content/rooms/fragments/v2-state-res.md @@ -109,7 +109,7 @@ Now compare these two lists as follows. than any integer. * In both cases, the *mainline position* of *e* is *i*. -The *mainline ordering based on* *P* of a set of events is the ordering, +Given mainline positions calculated from *P*, the *mainline ordering based on* *P* of a set of events is the ordering, from smallest to largest, using the following comparison relation on events: for events *x* and *y*, *x* < *y* if