OAI/Geometry/NodalSets/Charts/TransformedDensity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.coordDet line 14
2. lemma OAI.Yau.Geometry.coordDet_smooth line 17
3. lemma OAI.Yau.Geometry.coordDet_equiv_ne_zero line 32
4. def OAI.Yau.Geometry.chartDensity line 37
5. lemma OAI.Yau.Geometry.chartDensity_pos line 40
6. theorem OAI.Yau.Geometry.chartDensity_smooth_at line 48
7. lemma OAI.Yau.Geometry.pulledForm_positive line 57