OAI/Probability/LogConcave/LowerBounds/
403 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- CouplingNoise.lean 13 declarations
- DensityCoefficient.lean 6 declarations
- FrameTransport.lean 15 declarations
- HardEigenOutput.lean 22 declarations
- LinearHistory.lean 49 declarations
- PrefixSpace.lean 77 declarations
- RevealRotation.lean 40 declarations
- RotationIsometry.lean 27 declarations
- RoundFrames.lean 14 declarations
- SpectrumOperator.lean 15 declarations
- Theta.lean 56 declarations
- TranscriptRejection.lean 19 declarations
- WeightedEvaluation.lean 50 declarations