OAI/Probability/InvariantIsing/Haar/
337 declarations, 0 contain sorry, 0 declared as axioms; 95 files
Files
- CompactNegativeMinimum.lean 1 declarations
- CompactParabolicMinimum.lean 1 declarations
- DerivativeComparison.lean 1 declarations
- HaarCasimirAlgebra.lean 2 declarations
- HaarCompactness.lean 4 declarations
- HaarConcentrationInput.lean 1 declarations
- HaarContinuousDerivative.lean 2 declarations
- HaarCorrectedHessian.lean 1 declarations
- HaarCurveBound.lean 1 declarations
- HaarCurveTangent.lean 3 declarations
- HaarDerivative.lean 2 declarations
- HaarDifferentiableCurve.lean 5 declarations
- HaarDirectionBound.lean 2 declarations
- HaarExponentialGradient.lean 3 declarations
- HaarExponentialLimit.lean 2 declarations
- HaarExponentialMomentBound.lean 2 declarations
- HaarExponentialPolynomial.lean 3 declarations
- HaarFrobeniusBracket.lean 6 declarations
- HaarFrobeniusGeometry.lean 6 declarations
- HaarFunctionalCurvature.lean 4 declarations
- HaarGammaCalculus.lean 5 declarations
- HaarGroupTopology.lean 1 declarations
- HaarHeatConstants.lean 4 declarations
- HaarHeatContinuity.lean 4 declarations
- HaarHeatEntropy.lean 2 declarations
- HaarHeatFisherBound.lean 1 declarations
- HaarHeatGammaDerivative.lean 2 declarations
- HaarHeatGradient.lean 1 declarations
- HaarHeatLinear.lean 3 declarations
- HaarHeatLogBarrier.lean 3 declarations
- HaarHeatLogGradient.lean 1 declarations
- HaarHeatMean.lean 3 declarations
- HaarHeatMixing.lean 1 declarations
- HaarHeatOperator.lean 3 declarations
- HaarHeatOrder.lean 1 declarations
- HaarHeatOscillation.lean 1 declarations
- HaarHeatPositivity.lean 1 declarations
- HaarHeatTestLimit.lean 3 declarations
- HaarHeatVanishingGradient.lean 2 declarations
- HaarHessianBound.lean 1 declarations
- HaarHessianExpansion.lean 2 declarations
- HaarKernelApproximation.lean 2 declarations
- HaarKernelConvolution.lean 6 declarations
- HaarKernelGeometry.lean 7 declarations
- HaarKernelMass.lean 3 declarations
- HaarLipschitzContinuity.lean 3 declarations
- HaarLipschitzGradient.lean 2 declarations
- HaarLipschitzMoment.lean 1 declarations
- HaarLipschitzTail.lean 2 declarations
- HaarLogBarrier.lean 5 declarations
- HaarLogCurvature.lean 5 declarations
- HaarLogIntegration.lean 1 declarations
- HaarMinimumGradient.lean 2 declarations
- HaarPlaneAdjoint.lean 2 declarations
- HaarPlaneCasimir.lean 3 declarations
- HaarPlaneFrame.lean 8 declarations
- HaarPlaneSandwich.lean 4 declarations
- HaarPolynomialCurvature.lean 3 declarations
- HaarPolynomialCurve.lean 4 declarations
- HaarPolynomialDerivation.lean 6 declarations
- HaarPolynomialEntropyBound.lean 1 declarations
- HaarPolynomialEvolution.lean 1 declarations
- HaarPolynomialGamma.lean 5 declarations
- HaarPolynomialGaussianTail.lean 1 declarations
- HaarPolynomialHeat.lean 11 declarations
- HaarPolynomialInvariantSpace.lean 3 declarations
- HaarPolynomialKernel.lean 6 declarations
- HaarPolynomialLaplacian.lean 8 declarations
- HaarPolynomialMinimum.lean 2 declarations
- HaarPolynomialMoment.lean 6 declarations
- HaarPolynomialMomentShift.lean 4 declarations
- HaarPolynomialRotation.lean 3 declarations
- HaarPolynomialSpace.lean 11 declarations
- HaarPolynomialTail.lean 1 declarations
- HaarPolynomialValue.lean 5 declarations
- HaarReflectionConnectivity.lean 3 declarations
- HaarTwoSidedTail.lean 2 declarations
- HaarUniformMomentLimit.lean 2 declarations
- HaarVariance.lean 2 declarations
- HerbstDifferential.lean 1 declarations
- MatrixRotation.lean 5 declarations
- MedianMean.lean 3 declarations
- PlaneRotation.lean 8 declarations
- PositiveExponentialSum.lean 5 declarations
- ProbabilityMedian.lean 2 declarations
- PublishedInputs.lean 4 declarations
- ReflectionPairCurve.lean 5 declarations
- ReflectionPairPath.lean 3 declarations
- ReflectionParity.lean 4 declarations
- ReflectionSegment.lean 10 declarations
- ReflectionSegmentDerivative.lean 4 declarations
- Rotation.lean 13 declarations
- RotationMatrix.lean 11 declarations
- SpecialPlaneRotation.lean 10 declarations
- SpecialSkewRotation.lean 6 declarations