OAI/MathematicalPhysics/Heisenberg/
1910 declarations, 0 contain sorry, 0 declared as axioms; 128 files
Files
- AveragedEnergy.lean 8 declarations
- BootstrapMeshBounds.lean 5 declarations
- BootstrapParameters.lean 3 declarations
- BoundaryMesh.lean 4 declarations
- BoundaryPartition.lean 3 declarations
- BoundaryWitness.lean 6 declarations
- BoundedStrip.lean 26 declarations
- ClockInsertions.lean 15 declarations
- ClockTails.lean 2 declarations
- ClockWitnesses.lean 18 declarations
- ColorClockLimit.lean 5 declarations
- CompletedSurface.lean 2 declarations
- CompletionFactor.lean 2 declarations
- ConditionalMoments.lean 23 declarations
- CrossingTails.lean 14 declarations
- CubeSelection.lean 4 declarations
- CubeSurface.lean 11 declarations
- CutColors.lean 7 declarations
- CutContractions.lean 23 declarations
- CycleWeights.lean 31 declarations
- CyclicEnergy.lean 24 declarations
- DeterminantExposure.lean 20 declarations
- ExchangeCycles.lean 26 declarations
- ExchangeDeterminants.lean 27 declarations
- ExchangeOnMesh.lean 51 declarations
- ExponentialEvolution.lean 30 declarations
- ExposedEnergy.lean 24 declarations
- FiniteAverage.lean 3 declarations
- FiniteHistories.lean 22 declarations
- FiniteTilt.lean 9 declarations
- FirstReturns.lean 21 declarations
- FlowCongestion.lean 11 declarations
- FlowRouting.lean 21 declarations
- GibbsLimits.lean 6 declarations
- HistoryMarginals.lean 23 declarations
- HittingEnergy.lean 25 declarations
- HittingKernels.lean 22 declarations
- HoleReturns.lean 6 declarations
- HullComponents.lean 33 declarations
- HullRouting.lean 27 declarations
- KilledContractions.lean 31 declarations
- LatticeCuts.lean 35 declarations
- LatticeFlows.lean 32 declarations
- LatticeHulls.lean 20 declarations
- LatticePaths.lean 19 declarations
- LatticeRegularity.lean 5 declarations
- LayerEnergy.lean 21 declarations
- LayerExposure.lean 18 declarations
- LayerRegularity.lean 12 declarations
- LocalAlgebra.lean 75 declarations
- LocalDynamics.lean 24 declarations
- Main.lean 4 declarations
- MatrixUnitLift.lean 6 declarations
- MatrixUnitTrace.lean 2 declarations
- MatrixWeights.lean 6 declarations
- MeanLeakage.lean 7 declarations
- MeshCompletion.lean 6 declarations
- MeshCutProduct.lean 3 declarations
- MeshMatrixSurface.lean 2 declarations
- MeshPin.lean 2 declarations
- MeshProduct.lean 6 declarations
- MeshRoom.lean 3 declarations
- MeshSurface.lean 6 declarations
- Model.lean 37 declarations
- NetworkEnergy.lean 30 declarations
- OnsiteSwaps.lean 1 declarations
- PeriodicCount.lean 3 declarations
- PeriodicLeakage.lean 11 declarations
- PeriodicReturnEstimate.lean 1 declarations
- PermutationSymbols.lean 28 declarations
- PhysicalClock.lean 7 declarations
- PhysicalSpectral.lean 5 declarations
- PhysicalSurface.lean 4 declarations
- PhysicalTilt.lean 2 declarations
- PinBridge.lean 7 declarations
- PinDensity.lean 25 declarations
- PinSplicing.lean 45 declarations
- PinSymmetrization.lean 20 declarations
- PinnedColors.lean 10 declarations
- PinnedMagnetization.lean 6 declarations
- PolynomialLimits.lean 19 declarations
- QuietSweeps.lean 28 declarations
- RectangularExp.lean 2 declarations
- RegularComponents.lean 12 declarations
- RegularKernels.lean 19 declarations
- RegularPin.lean 3 declarations
- ReturnConditioning.lean 36 declarations
- ReversedExposure.lean 14 declarations
- RoundEnergy.lean 17 declarations
- RoutedDissipation.lean 22 declarations
- RoutedNetworks.lean 25 declarations
- ScheduledResiduals.lean 17 declarations
- SerialBlocks.lean 5 declarations
- SimultaneousPins.lean 21 declarations
- SlotColorTrace.lean 23 declarations
- SlotOnMesh.lean 85 declarations
- SparseCrossings.lean 15 declarations
- SparseEnergy.lean 7 declarations
- SpatialClocks.lean 20 declarations
- SpectralTransfer.lean 7 declarations
- SpinAverage.lean 8 declarations
- SpinAverageBoundary.lean 8 declarations
- SpinAveragedKMS.lean 6 declarations
- SpinBulk.lean 9 declarations
- SpinCubeAverage.lean 7 declarations
- SpinDeep.lean 2 declarations
- SpinDirected.lean 6 declarations
- SpinExhaustion.lean 4 declarations
- SpinField.lean 9 declarations
- SpinFieldDynamics.lean 10 declarations
- SpinFieldUniform.lean 3 declarations
- SpinMatrixConservation.lean 11 declarations
- SpinMatrixTrace.lean 5 declarations
- SpinPhysicalOperators.lean 7 declarations
- SpinTensorRepresentation.lean 6 declarations
- SpinTranslations.lean 9 declarations
- StablePinLaw.lean 25 declarations
- StablePolynomials.lean 21 declarations
- StableSections.lean 24 declarations
- StateCompactness.lean 42 declarations
- SurfaceTail.lean 4 declarations
- SymmetrizedSurface.lean 3 declarations
- TensorLift.lean 4 declarations
- TensorLiftIndex.lean 5 declarations
- TensorUnitSystem.lean 4 declarations
- ThermodynamicDynamics.lean 14 declarations
- TwoEndedReturns.lean 7 declarations
- WeightedLeakage.lean 20 declarations