Skip to content

Commit 86f2293

Browse files
or4nge19or4nge19
authored
Merge pull request leanprover-community#709 from HEPLean/or4nge19-CanonicalEnsemble
feat(CanonicalEnsemble):add params to CanonicalEnsemble struct + semi-classical refactor
2 parents 44be4fb + 39d736d commit 86f2293

6 files changed

Lines changed: 1472 additions & 191 deletions

File tree

‎PhysLean.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -319,6 +319,7 @@ import PhysLean.SpaceAndTime.Time.TimeUnit
319319
import PhysLean.StatisticalMechanics.BoltzmannConstant
320320
import PhysLean.StatisticalMechanics.CanonicalEnsemble.Basic
321321
import PhysLean.StatisticalMechanics.CanonicalEnsemble.Finite
322+
import PhysLean.StatisticalMechanics.CanonicalEnsemble.Lemmas
322323
import PhysLean.StatisticalMechanics.CanonicalEnsemble.TwoState
323324
import PhysLean.StringTheory.Basic
324325
import PhysLean.StringTheory.FTheory.SU5.Basic

0 commit comments

Comments
 (0)