`FormalConjectures/Books/BugeaudDistributionModuloOne/`

52 declarations, 32 contain sorry, 0 declared as axioms; 10 files

Files

IntDistanceDistribution.lean 5 declarations
Problem10_32.lean 3 declarations
Problem10_4.lean 2 declarations
Problem10_5.lean 3 declarations
Problem10_53.lean 4 declarations
Problem10_6.lean 16 declarations
Problem10_61.lean 11 declarations
Problem10_7.lean 1 declarations
Problem10_8.lean 3 declarations
Problem10_9.lean 4 declarations