Every Pisot number is a two-sided limit of Salem numbers

Source: url:https://github.com/stalex444/salem-theorem Authors: Stephanie Alexander Status: verified Main declarations: SalemTheorem.salem_theorem Tags: number-theory, pisot-numbers, salem-numbers MSC: 11R06, 11R09