OAI/Analysis/Triangular/Energy/
254 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Basic.lean 11 declarations
- Cutoff.lean 23 declarations
- Definitions.lean 8 declarations
- Density.lean 22 declarations
- Gaussian.lean 10 declarations
- GaussianPoisson.lean 10 declarations
- Lattice.lean 3 declarations
- LatticePoisson.lean 10 declarations
- Mixtures.lean 106 declarations
- PairPoisson.lean 9 declarations
- Potentials.lean 7 declarations
- Schwartz.lean 5 declarations
- Spectral.lean 17 declarations
- Theta.lean 12 declarations
- Universal.lean 1 declarations