OAI/MathematicalPhysics/CriticalSK/VariationalDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalSK.continuousMixingAt line 10
2. def OAI.CriticalSK.discreteMixingAt line 13
3. def OAI.CriticalSK.entropy line 16
4. def OAI.CriticalSK.relaxationTime line 19
5. def OAI.CriticalSK.logSobolevConstant line 23
6. def OAI.CriticalSK.ExponentInProbability line 27