OAI/MathematicalPhysics/PEPSMove/
467 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- BoundaryEnergy.lean 13 declarations
- ConditionalCollision.lean 9 declarations
- ConditionalPhase.lean 3 declarations
- DoubleCurve.lean 11 declarations
- EntropyBounds.lean 26 declarations
- EntropyContinuity.lean 16 declarations
- EntropyHolder.lean 12 declarations
- FilterEntropy.lean 6 declarations
- FilterSlack.lean 10 declarations
- GridStates.lean 32 declarations
- Interpolation.lean 29 declarations
- LocalOperators.lean 23 declarations
- LogCompression.lean 34 declarations
- LogMoments.lean 6 declarations
- ModularDistance.lean 8 declarations
- MoveBounds.lean 5 declarations
- NormalizedRows.lean 22 declarations
- Optimizer.lean 25 declarations
- OptimizerStability.lean 2 declarations
- PartialTrace.lean 31 declarations
- PhaseContinuity.lean 3 declarations
- PhaseTransfer.lean 15 declarations
- PhysicalCoordinates.lean 23 declarations
- PhysicalMove.lean 10 declarations
- PureEntropy.lean 11 declarations
- Purification.lean 12 declarations
- RenyiSlack.lean 12 declarations
- SingularInterpolation.lean 7 declarations
- SpectralPhase.lean 3 declarations
- SpectralPowers.lean 10 declarations
- StrongSubadditivity.lean 13 declarations
- ThreeLines.lean 2 declarations
- UnitaryCovariance.lean 23 declarations