OAI/Analysis/BernoulliCone/LowerComparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Bernoulli.GroundState.lower_variation line 14
2. theorem OAI.Bernoulli.GroundState.lower_comparison line 106
3. lemma OAI.Bernoulli.DeSilvaJerison.U_smooth_positive line 200
4. theorem OAI.Bernoulli.DeSilvaJerison.U_lower_comparison line 207