The Three-Gap (Steinhaus) Theorem

Source: doi:10.1017/S1446788700031062 Authors: Dirk Kunert Status: verified Main declarations: SteinhausThreeGap.three_gap_card_le_three Tags: number-theory, three-gap-theorem, equidistribution MSC: 11K06