Keyword:Rotation number

Papers
Formalizing Rotation Number and Its Properties in Lean Yury Kudryashov EasyChair Preprint no. 6168