OAI/Geometry/NodalSets/Waves/WaveSize.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.Yau.Jets.mul_derivative_power_boundline 10 - theorem
OAI.Yau.Jets.cutoff_wave_sizeline 38
OAI/Geometry/NodalSets/Waves/WaveSize.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Yau.Jets.mul_derivative_power_bound line 10OAI.Yau.Jets.cutoff_wave_size line 38