Gravesen, J. (1983). Whitney $C^\infty$-topologies and the Baire property. MATHEMATICA SCANDINAVICA, 52, 58–60. https://doi.org/10.7146/math.scand.a-11993