Smooth-to-holonomic equivalence conjecture over the Novikov field
Smooth-to-holonomic equivalence conjecture. The inclusion