ByNobleID
    Weyl's type criterion for general distribution mod 1 and its applications | NobleID