Assertion: sequence | /r/HasProperty | equidistributed modulo
Facets:
value: if
type: DEGREE
Source sentences:
text: Weyl's criterion states that the sequence a n is equidistributed modulo 1 if and only if for all non-zero integers ℓ,