OAI/Geometry/NodalSets/Charts/WeightedCircleMatrix.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.circleWeight line 15
2. def OAI.Yau.Geometry.weightedCircleMatrix line 18
3. lemma OAI.Yau.Geometry.circleWeight_pos line 22
4. lemma OAI.Yau.Geometry.weightedCircleMatrix_det line 26
5. lemma OAI.Yau.Geometry.weightedCircleMatrix_volume line 33
6. lemma OAI.Yau.Geometry.weightedCircleMatrix_horizontal_inverse line 38
7. lemma OAI.Yau.Geometry.weightedCircleMatrix_posDef line 48