OAI/Combinatorics/Progressions/Lattices/LatticeGaussianTemperature.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos3.latticeGaussianMass_stability line 12
2. theorem OAI.Erdos3.latticeGaussianMass_orbit_stability line 28
3. theorem OAI.Erdos3.gaussian_perturbation_at_temperature line 50
4. theorem OAI.Erdos3.latticeGaussianMass_temperature_stability line 68
5. theorem OAI.Erdos3.latticeGaussianMass_temperature_orbit_stability line 82