OAI/InformationTheory/PhotonNumber/
1725 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- Basic.lean 17 declarations
- BeamForms.lean 143 declarations
- BeamTrace.lean 125 declarations
- Continuity.lean 87 declarations
- Contraction.lean 96 declarations
- Duality.lean 32 declarations
- Entropy.lean 157 declarations
- FiniteVariation.lean 188 declarations
- Functions.lean 155 declarations
- Generator.lean 57 declarations
- Gibbs.lean 84 declarations
- GibbsVariational.lean 44 declarations
- Inequality.lean 72 declarations
- Interpolation.lean 38 declarations
- Minimum.lean 93 declarations
- PhysicalMinimum.lean 33 declarations
- SpectralForms.lean 106 declarations
- SpectralLog.lean 68 declarations
- ThermalLimit.lean 41 declarations
- ThermalMetric.lean 89 declarations