OAI/Analysis/BernoulliCone/FluxSeam.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_dilation_formula line 10
2. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_dilation_gradient line 17
3. lemma OAI.Bernoulli.DeSilvaJerison.seamHeight_signed_dilation line 39
4. lemma OAI.Bernoulli.DeSilvaJerison.exteriorFlux_at_seam line 44
5. lemma OAI.Bernoulli.DeSilvaJerison.upperParameter_at_seam line 62
6. lemma OAI.Bernoulli.DeSilvaJerison.upperFlux_at_seam line 67
7. theorem OAI.Bernoulli.DeSilvaJerison.upperFlux_seam_jump line 73