OAI/Geometry/SmoothYau/NodalMeasure/GaussianPDFStandardOne.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.YauCounterexamples.gaussianPDF_standard_le_one line 40
2. theorem OAI.YauCounterexamples.gaussianReal_standard_le_volume line 56
3. theorem OAI.YauCounterexamples.finite_pi_measure_mono line 63
4. theorem OAI.YauCounterexamples.gaussian_pi_le_volume line 77
5. theorem OAI.YauCounterexamples.gaussian_affine_map_le line 81
6. theorem OAI.YauCounterexamples.gaussian_affine_smallBall line 96
7. theorem OAI.YauCounterexamples.gaussian_independent_smallBall line 113