1 problem

Higher-jet transversality codimension conjecture. The set $\tilde A$ is a countable union of smooth submanifolds of codimension more than $n=\dim X$ in $J^{p+1}(X,Y)$.