OAI/Geometry/NodalSets/Elliptic/CorrugationDiskJets.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.planeRadialCovector line 10
2. lemma OAI.Yau.Geometry.planeRadialCovector_apply line 13
3. lemma OAI.Yau.Geometry.corrugationDiskWell_hasFDerivAt line 16
4. lemma OAI.Yau.Geometry.corrugationDiskWell_fderiv line 27
5. lemma OAI.Yau.Geometry.corrugationDiskWell_direction_hasFDerivAt line 33
6. lemma OAI.Yau.Geometry.corrugationDiskWell_second line 51
7. lemma OAI.Yau.Geometry.corrugationDiskWell_center_second line 64
8. lemma OAI.Yau.Geometry.corrugationDiskWell_center_positive line 69