Index of /docs/Lean/ginibre_poincare_lean_sources_2026-09-04/GinibrePoincare/Analysis

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]MeasureTransport.lean2026-09-03 17:48 1.3K 
[ ]ComplexGaussianProductIntegral.lean2026-09-03 22:22 1.9K 
[ ]RadialMoments.lean2026-09-03 18:21 2.0K 
[ ]AngularMoments.lean2026-09-03 18:16 2.2K 
[ ]ComplexHermiteOrthogonality.lean2026-09-03 18:11 2.8K 
[ ]GaussianFourierCoordinates.lean2026-09-03 19:41 2.8K 
[ ]MultivariateComplexHermite.lean2026-09-03 18:01 3.2K 
[ ]ComplexHermite.lean2026-09-03 17:44 3.4K 
[ ]PolynomialCompactApproximation.lean2026-09-03 18:44 3.7K 
[ ]GaussianDensity.lean2026-09-03 17:44 3.7K 
[ ]ComplexGaussianMoments.lean2026-09-03 18:41 3.7K 
[ ]GaussianPolynomialDensity.lean2026-09-03 18:46 4.0K 
[ ]VandermondeSymmetryL2.lean2026-09-03 18:21 4.2K 
[ ]GinibreMassPositivity.lean2026-09-03 17:59 4.3K 
[ ]FinitePiDensity.lean2026-09-03 17:51 4.7K 
[ ]HermiteOrthogonalityCombinatorics.lean2026-09-03 18:22 4.9K 
[ ]CollisionNull.lean2026-09-03 18:07 5.0K 
[ ]HermiteL2Family.lean2026-09-03 18:43 5.4K 
[ ]PolarGaussianMoments.lean2026-09-03 18:40 5.5K 
[ ]ComplexGaussianDensity.lean2026-09-03 17:55 5.6K 
[ ]MultivariateHermiteMonomialSpan.lean2026-09-03 19:20 5.7K 
[ ]VandermondeGroundStateZeroMode.lean2026-09-03 23:18 5.7K 
[ ]GinibreMassFiniteness.lean2026-09-03 18:09 5.9K 
[ ]WeightedSeriesTruncation.lean2026-09-03 23:23 6.1K 
[ ]L2RepresentativeBridges.lean2026-09-03 20:40 6.2K 
[ ]NormalizedComplexHermite.lean2026-09-03 17:56 7.1K 
[ ]VandermondeL2.lean2026-09-03 18:12 7.2K 
[ ]PermutationLp.lean2026-09-03 18:16 7.3K 
[ ]ComplexHermiteLowering.lean2026-09-03 17:51 7.4K 
[ ]HermiteMonomialSpan.lean2026-09-03 19:17 7.4K 
[ ]MultivariateHermiteIntegrability.lean2026-09-03 18:19 7.5K 
[ ]GaussianPolynomialIntegrability.lean2026-09-03 22:14 8.3K 
[ ]FiniteHermiteDeficit.lean2026-09-03 19:19 9.4K 
[ ]RealGaussianIntegrationByParts.lean2026-09-03 22:06 11K 
[ ]HermiteWeightedEnergy.lean2026-09-03 23:13 12K 
[ ]HermiteWirtinger.lean2026-09-03 22:17 14K 
[ ]VandermondeL2Inverse.lean2026-09-03 18:36 14K 
[ ]HermiteParsevalModes.lean2026-09-03 20:39 16K 
[ ]GaussianHermiteMoments.lean2026-09-03 19:33 17K 
[ ]GinibreGeneratorL2.lean2026-09-03 21:43 17K 
[ ]HolomorphicVandermondeL2Closure.lean2026-09-03 19:42 18K 
[ ]GaussianPolynomialCompleteness.lean2026-09-03 19:11 19K 
[ ]HermiteEnergy.lean2026-09-03 19:12 19K 
[ ]HermiteBinomialIdentity.lean2026-09-03 18:39 19K 
[ ]GroundStateDbar.lean2026-09-03 23:17 20K 
[ ]GaussianFourierUniqueness.lean2026-09-03 19:54 20K 
[ ]HolomorphicVandermondeDivision.lean2026-09-03 19:24 26K 
[ ]ComplexGaussianIntegrationByParts.lean2026-09-03 22:10 36K 
[ ]GlobalPhaseAction.lean2026-09-03 20:48 41K 
[ ]GaussianDbarParseval.lean2026-09-03 23:13 58K 
[ ]GinibreConjugationGeometry.lean2026-09-03 21:36 58K 
[ ]GinibreIntegrationByParts.lean2026-09-03 21:18 65K 
Apache/2.4.68 (Debian) Server at djalil.chafai.net Port 443