OAI/MathematicalPhysics/PEPSSubvolume/
654 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- BipartiteEnergy.lean 15 declarations
- ContourEnergy.lean 18 declarations
- Crossing.lean 8 declarations
- Diagonal.lean 9 declarations
- EntropyComparison.lean 11 declarations
- EntropyDimension.lean 4 declarations
- EntropyHolder.lean 14 declarations
- EntropyMoments.lean 24 declarations
- Filters.lean 14 declarations
- FlatDirection.lean 6 declarations
- GeometricLower.lean 7 declarations
- GroundTilt.lean 21 declarations
- HarmonicWeights.lean 11 declarations
- Interpolation.lean 3 declarations
- JointSpectrum.lean 7 declarations
- KernelPerturbation.lean 22 declarations
- LocalBlocks.lean 11 declarations
- LocalOperators.lean 20 declarations
- Main.lean 51 imports, no declarations
- Marginal.lean 3 declarations
- MixedKernel.lean 7 declarations
- ModularScalar.lean 14 declarations
- NestedLower.lean 13 declarations
- NeutralEnergy.lean 4 declarations
- OptimizerEnergy.lean 3 declarations
- OptimizerExistence.lean 13 declarations
- PhysicalCurve.lean 25 declarations
- PhysicalModular.lean 18 declarations
- PinnedCosts.lean 15 declarations
- PinnedEntropy.lean 25 declarations
- PinnedSpectral.lean 12 declarations
- Pinning.lean 12 declarations
- QuantumSSA.lean 34 declarations
- RectangleContours.lean 10 declarations
- RectangleTiling.lean 21 declarations
- RegionSSA.lean 12 declarations
- SSARegularized.lean 44 declarations
- ScaleTiling.lean 8 declarations
- SchmidtRows.lean 23 declarations
- SpectralPowers.lean 14 declarations
- SquareRecurrence.lean 7 declarations
- Subvolume.lean 2 declarations
- TensorDecomposition.lean 7 declarations
- TilingEntropy.lean 12 declarations
- TiltEnergy.lean 10 declarations
- TraceFunctionals.lean 11 declarations
- Transition.lean 12 declarations
- TwoFactors.lean 14 declarations
- UnitaryGauge.lean 21 declarations
- UnitaryVariation.lean 3 declarations