OAI/Analysis/FreeWords/DirichletCounts.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KKFreeWords.dirichletCount line 13
2. theorem OAI.KKFreeWords.dirichletCount_low line 16
3. theorem OAI.KKFreeWords.dirichletCount_reflect line 33
4. theorem OAI.KKFreeWords.dirichletCount_high line 53
5. theorem OAI.KKFreeWords.sum_squares_succ_real line 59
6. theorem OAI.KKFreeWords.dirichletCount_energy line 65