OAI/Geometry/SmoothYau/Smoothness/CompactActualWavesSignJets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.gaussian_pi_uncurry_preserving line 13
2. lemma OAI.YauCounterexamples.gaussian_flat_sign_eq line 24
3. theorem OAI.YauCounterexamples.compact_actual_waves_sign_and_jets line 51
4. theorem OAI.YauCounterexamples.compact_actual_waves_sign_and_jets_supported line 132