C^∞ partial regularity of the singular set in the obstacle problem - Federico Franceschini; Wiktoria Zatoń (2021)