OAI/Geometry/SmoothYau/SphereMetric/UnitCorrelationSymm.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.unitCorrelation_symm line 11
2. lemma OAI.YauCounterexamples.unitCorrelation_two_errors line 14
3. theorem OAI.YauCounterexamples.perturbed_three_axis_correlation_gap line 31
4. theorem OAI.YauCounterexamples.common_near_wave_sign_probability line 87