Prefer a chat interface with context about you and your work?
Regularity and uniqueness of certain systems of functions annihilerated by a formally integrable system of vector fields