Gravesen J. Whitney $C^\infty$-topologies and the Baire property. Math. Scand. 1983;52:58-60. doi:10.7146/math.scand.a-11993