When a constant subsequence implies ultimate periodicity

From MaRDI portal
Publication:5382837