`FormalConjectures/Books/`

61 declarations, 37 contain sorry, 0 declared as axioms; 12 files

Folders

BugeaudDistributionModuloOne/ 10 files, 52 declarations
UniformDistributionOfSequences/ 1 files, 8 declarations

Files

BorweinSineSeries.lean 1 declarations