RawRadonLimit.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Raw Radon reconstruction from countable test-Cauchy data. The existing canonical reconstruction tests Cauchy convergence in the data space itself; its cutoff coordinates supply the local mass bounds.

lemma OAI.SLEExactGauge.LocalTestFamily.exists_raw_radon_limit line 18