OAI/Geometry/SmoothYau/Estimates/CriticalTransversePositive.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.critical_transverse_positive line 36
2. lemma OAI.YauCounterexamples.exists_good_transverse line 62
3. lemma OAI.YauCounterexamples.exists_second_transverse_unit line 80
4. theorem OAI.YauCounterexamples.two_good_transverse line 98
5. theorem OAI.YauCounterexamples.actual_two_transverse_phases line 148