OAI/Analysis/MutuallyUnbiased/Fourier/
36 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Characters.lean 12 declarations
- ChargeDecomposition.lean 12 declarations
- Dichotomy.lean 6 declarations
- FourierEndpoint.lean 2 declarations
- FourierTheorem.lean 4 declarations