OAI/Analysis/LiebThirring/Gamma.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLiebThirring.ConstantProof.betaAction line 11
2. lemma OAI.SharpLiebThirring.ConstantProof.real_beta_symmetric line 13
3. lemma OAI.SharpLiebThirring.ConstantProof.betaAction_eq_beta line 35
4. lemma OAI.SharpLiebThirring.ConstantProof.betaAction_pos line 55
5. lemma OAI.SharpLiebThirring.ConstantProof.betaAction_eq_Gamma line 66
6. lemma OAI.SharpLiebThirring.ConstantProof.boundary_action_scaling line 92
7. lemma OAI.SharpLiebThirring.ConstantProof.young_over_beta line 113