Copy

EXTENDS Integers, Sequences Remove(i, seq) == [j \in 1..(Len(seq)-1) |-> IF j < i THEN seq[j] ELSE seq[j+1]] Copy Text

Copy the following tiny text, either by clicking on thebutton below it, or by your usual method of copying text.