DineshAI's picture
Verify Lemma 3.1 on a non-vacuous gamma_x sweep; restore Claim 4 to VERIFIED; add sphere Rayleigh RDNGD; make the SO(2) route literally exact
0476fa8 verified