3. Fourier slice method🔗

The architecture-independent derivation by the Fourier slice theorem. The overview follows arXiv:2402.15984, while the detail section exposes the reusable Lean dependency chain.

1. 3.1. Fourier slice method: arXiv:2402.15984 implementation map
2. 3.2. Fourier slice method: formalization details