theorem ConeSupport.schwartz_singularSupport_empty {n : ℕ} (f : SchwartzMap (E n) ℂ) : singularSupport (schwEmbed f) = ∅

The singular support of (the tempered distribution associated to) a Schwartz function is empty: Schwartz functions are smooth at every point, so the distribution has no singularities.