On completeness of foliated structures, and null Killing fields
We consider a compact manifold
$$(M,\mathfrak {F})$$
We consider a compact manifold
$$(M,\mathfrak {F})$$