/sci/ - Science & Math

>>12461426
In the spirit of plugging in a small gap on the previous problem, prove that if [math]\omega[/math] is a smooth non-degenerate differential form and, for a not necessarily smooth vector field [math]X[/math] we know that [math]i_X \omega[/math] is also smooth, then [math]X[/math] is smooth.