Expii

Weyl's Equidistribution Theorem - Expii