OAI/Analysis/Triangular/Energy/Theta.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularUniversal.Theta.intGaussian_summable line 15
2. lemma OAI.TriangularUniversal.Theta.real_Q_ge line 24
3. lemma OAI.TriangularUniversal.Theta.triangular_summable line 26
4. lemma OAI.TriangularUniversal.Theta.inv_re_pos line 41
5. def OAI.TriangularUniversal.Theta.theta line 45
6. lemma OAI.TriangularUniversal.Theta.middle_summable line 49
7. lemma OAI.TriangularUniversal.Theta.first_step line 69
8. lemma OAI.TriangularUniversal.Theta.second_step line 94
9. lemma OAI.TriangularUniversal.Theta.dual_re_pos line 121
10. lemma OAI.TriangularUniversal.Theta.theta_raw line 126
11. lemma OAI.TriangularUniversal.Theta.cpow_scale line 151
12. lemma OAI.TriangularUniversal.Theta.theta_transform line 171