Assertion: series's sum | /r/HasProperty | ξ n = n/t
Facets:
value: simply
type: MANNER
Source sentences:
text: where the last sum is simply the first sum rewritten using the definitions ξ n = n/T, and Δξ = n + 1/T − n/T = 1/T.