Prefer a chat interface with context about you and your work?
Correction to: A simple proof of Kotake–Narasimhan theorem in some classes of ultradifferentiable functions