OAI/Probability/FreeIsing/Spectral/
123 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- ChebyshevRecurrence.lean 12 declarations
- ColoredKoopman.lean 10 declarations
- ContinuousL2Stopping.lean 1 declarations
- DifferenceKoopman.lean 8 declarations
- FreeLawSpectral.lean 3 declarations
- KoopmanInvolutions.lean 19 declarations
- L2CompensatedDensityStopping.lean 3 declarations
- L2CompensatedSquareStopping.lean 6 declarations
- LocalOrthogonality.lean 7 declarations
- NoisyLawSpectral.lean 4 declarations
- OrthogonalBlocks.lean 3 declarations
- OrthogonalRowIdentification.lean 3 declarations
- PowerObstruction.lean 4 declarations
- RadialPowerGrowth.lean 3 declarations
- RealChebyshevBound.lean 7 declarations
- SpectralClosure.lean 17 declarations
- SpectralTransfer.lean 10 declarations
- StablePowerTransport.lean 3 declarations