OAI/Analysis/BernoulliCone/ClampedSeam.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Bernoulli.DeSilvaJerison.clamped_seam_axis line 11
2. lemma OAI.Bernoulli.DeSilvaJerison.clamped_seam_le_lower line 17
3. theorem OAI.Bernoulli.DeSilvaJerison.clamped_seam_locallyLipschitz line 25
4. lemma OAI.Bernoulli.DeSilvaJerison.clamped_sub_lower_compact line 56
5. theorem OAI.Bernoulli.DeSilvaJerison.clamped_seam_lipschitz line 64