OAI/Analysis/BernoulliCone/OuterGeometry.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Bernoulli.DeSilvaJerison.gSup2 line 12
  2. lemma OAI.Bernoulli.DeSilvaJerison.hasDerivAt_gSup1 line 13
  3. lemma OAI.Bernoulli.DeSilvaJerison.gSup_contDiffAt line 22
  4. lemma OAI.Bernoulli.DeSilvaJerison.gSup_equation line 26
  5. def OAI.Bernoulli.DeSilvaJerison.KSup line 32
  6. def OAI.Bernoulli.DeSilvaJerison.outerSigned line 33
  7. lemma OAI.Bernoulli.DeSilvaJerison.KSup_pos line 35
  8. lemma OAI.Bernoulli.DeSilvaJerison.KSup_contDiffAt line 39
  9. lemma OAI.Bernoulli.DeSilvaJerison.KSup_laplacian line 41
  10. lemma OAI.Bernoulli.DeSilvaJerison.KSup_gradient line 54
  11. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_contDiffAt line 58
  12. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_laplacian line 61
  13. lemma OAI.Bernoulli.DeSilvaJerison.polarGradient_inner_radial line 71
  14. lemma OAI.Bernoulli.DeSilvaJerison.gradient_add' line 78
  15. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_radial_defect line 87
  16. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_radial_defect_pos line 103
  17. lemma OAI.Bernoulli.DeSilvaJerison.radiusSq_pos_data line 108
  18. lemma OAI.Bernoulli.DeSilvaJerison.KSup_cylindrical line 116
  19. lemma OAI.Bernoulli.DeSilvaJerison.outerSigned_at_seam line 128