OAI/Geometry/SmoothYau/Limits/CompactProfileCanonicalSmallBall.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.actualHessianForm_symm line 45
2. lemma OAI.YauCounterexamples.inverse_sqrt_eventually_small line 53
3. theorem OAI.YauCounterexamples.compact_profile_canonical_smallBall line 67
4. theorem OAI.YauCounterexamples.compact_profile_canonical_smallBall_uniform_orders line 170