Assertion: sequence | /r/HasProperty | = s n n ≥
Facets:
Source sentences:
text: Then the sequence s = ( s n ) n ≥ 0 {\displaystyle s=(s_{n})_{n\geq 0}} is k {\displaystyle k} -automatic if and only each of the fibres
text: For many 2-automatic sequences s = ( s n ) n ≥ 0 {\displaystyle s=(s_{n})_{n\geq 0}} , the map n ↦ s n {\displaystyle n\mapsto