Documentation

LeanPool.ThreeGap

Sharp Five-Distance and Sup-Norm Gap Theorems #

Source: arxiv:2010.08842 Authors: Vico Bonfioli Status: verified Main declarations: ThreeGap.LinftyRecords3.nine_attained Tags: number-theory, kronecker-sequences, three-gap MSC: 11J71