Density of Schwartz representatives

The range inclusion of Schwartz lifts upgrades density from weighted L² coordinates to genuine Schwartz fields.

theorem CKN.Leray.regularisedBesselOfSchwartz_denseRange (s : ℝ) : DenseRange (regularisedBesselOfSchwartz s)

Schwartz distributions are dense in every complete Bessel Hˢ space.