OAI/Geometry/NodalSets/Coefficients/GlobalCorrection.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Yau.pairing_smooth line 13
2. def OAI.Yau.correctionDenominator line 20
3. theorem OAI.Yau.correctionDenominator_smooth line 23
4. theorem OAI.Yau.global_exact_correction line 28
5. theorem OAI.Yau.weightedDiv_smooth line 63
6. def OAI.Yau.densityCorrection line 72
7. theorem OAI.Yau.densityCorrection_smooth line 76
8. theorem OAI.Yau.weightedDiv_zero_off_support line 84
9. theorem OAI.Yau.densityCorrection_tsupport_subset line 97
10. theorem OAI.Yau.densityCorrection_compact_support line 107