OAI/Geometry/SmoothYau/Smoothness/RoundPowerExteriorPerturbationJet.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.roundPower_centered_derivative_square line 39
2. theorem OAI.YauCounterexamples.roundPower_centered_jet_lower line 54
3. theorem OAI.YauCounterexamples.roundPower_dominant_perturbation_jet_lower line 94
4. theorem OAI.YauCounterexamples.roundPower_exterior_perturbation_jet_lower line 171