OAI/Analysis/
1398786 declarations, 0 contain sorry, 0 declared as axioms; 26567 files
Folders
- AffineBernstein/ 326 files, 1666 declarations
- AllenCahn/ 53 files, 923 declarations
- AncientFlat/ 333 files, 2219 declarations
- BackwardIntertwiners/ 23 files, 591 declarations
- BernoulliCone/ 91 files, 1055 declarations
- BiholderTransport/ 645 files, 2005 declarations
- BoundedHochschild/ 358 files, 3301 declarations
- BoxTransport/ 7 files, 385 declarations
- Brenier/ 89 files, 1978 declarations
- BrownMeasure/ 21 files, 127 declarations
- C0Absorption/ 34 files, 838 declarations
- CStarAlgebra/ 25 files, 531 declarations
- CardinalInterpolation/ 1 files, 88 declarations
- CharacterCriterion/ 62 files, 2529 declarations
- CircleDomains/ 2639 files, 8332 declarations
- Commutator/ 656 files, 4302 declarations
- Conductivity/ 595 files, 4807 declarations
- Cotype/ 125 files, 911 declarations
- CoulombIonization/ 607 files, 5848 declarations
- CoulombRadii/ 428 files, 4515 declarations
- CoulombTransport/ 97 files, 667 declarations
- Crouzeix/ 90 files, 1055 declarations
- Cuntz/ 15 files, 283 declarations
- Daugavet/ 28 files, 292 declarations
- DiamondDistortion/ 38 files, 1113 declarations
- DirectCrouzeix/ 42 files, 418 declarations
- DiskMaximal/ 30 files, 1447 declarations
- FactorGeneration/ 85 files, 2510 declarations
- FiniteFactor/ 271 files, 1473 declarations
- ForestSpace/ 20 files, 462 declarations
- Fourier/ 2 files, 154 declarations
- FourierExtension/ 14 files, 167 declarations
- FourierLLogL/ 155 files, 2399 declarations
- FreeEntropy/ 153 files, 1606 declarations
- FreeGroupFactor/ 27 files, 851 declarations
- FreeWords/ 267 files, 1568 declarations
- Graph/ 1 files, 25 declarations
- GroupDeterminants/ 34 files, 289 declarations
- HardSphere/ 466 files, 4970 declarations
- HenonEmden/ 96 files, 875 declarations
- HilbertCrouzeix/ 7 files, 88 declarations
- HotSpots/ 31 files, 2156 declarations
- HyperbolicCones/ 101 files, 455 declarations
- Hyperinvariant/ 7 files, 22 declarations
- IncompressibleFlow/ 1 files, 94 declarations
- InnerProductSpace/ 1 files, 5 declarations
- IntegralMeans/ 47 files, 1043 declarations
- InterpolatedFactors/ 50 files, 1813 declarations
- IrrationalRotation/ 933 files, 6388 declarations
- JiangSu/ 348 files, 3807 declarations
- KLS/ 21 files, 201 declarations
- KadisonKastler/ 1831 files, 9468 declarations
- KadisonSimilarity/ 539 files, 3748 declarations
- Kakeya/ 1 files, 65 declarations
- Kaplansky/ 72 files, 685 declarations
- Laughlin/ 1279 files, 10424 declarations
- LaughlinFock/ 293 files, 5346 declarations
- LaughlinGap/ 104 files, 5137 declarations
- LiebThirring/ 62 files, 1200 declarations
- LienardCycles/ 146 files, 1352 declarations
- Lipschitz/ 1 files, 28 declarations
- LipschitzEquivalence/ 60 files, 880 declarations
- LipschitzFree/ 34 files, 466 declarations
- LipschitzHilbert/ 1910 files, 7847 declarations
- Littlewood/ 27 files, 512 declarations
- LpDimension/ 45 files, 443 declarations
- Mahler/ 243 files, 2056 declarations
- MarkovType/ 212 files, 2139 declarations
- MassAction/ 71 files, 401 declarations
- Matrix/ 3 files, 159 declarations
- MatrixScaling/ 10 files, 158 declarations
- MatrixSigning/ 553 files, 6635 declarations
- MetricEntropy/ 52 files, 533 declarations
- ModularRecovery/ 27 files, 726 declarations
- ModularTheory/ 88 files, 565 declarations
- MumfordShah/ 24 files, 392 declarations
- MutuallyUnbiased/ 3386 files, 629544 declarations
- Naimark/ 16 files, 2092 declarations
- NavierStokes/ 1 files, 56 declarations
- NefAdjoint/ 2 files, 57 declarations
- NodalLength/ 59 files, 1379 declarations
- Nonexpansive/ 86 files, 875 declarations
- NuclearUltrapower/ 39 files, 7803 declarations
- Nuclearity/ 109 files, 516 declarations
- NumericalRange/ 48 files, 888 declarations
- OInfinity/ 129 files, 1617 declarations
- OperatorAlgebra/ 112 files, 614 declarations
- PathSelection/ 58 files, 986 declarations
- PeriodicLattice/ 32 files, 1017 declarations
- PlanarEndpoint/ 55 files, 656 declarations
- PlanarPacking/ 562 files, 556684 declarations
- PlaneSpectrum/ 19 files, 819 declarations
- Polynomial/ 1 files, 27 declarations
- PrefixRadix/ 4 files, 36 declarations
- ProductSpaces/ 22 files, 294 declarations
- PureInfiniteness/ 110 files, 470 declarations
- Pureness/ 581 files, 3478 declarations
- Quantum/ 136 files, 6329 declarations
- QuantumTrace/ 1 files, 120 declarations
- Quasitrace/ 7 files, 102 declarations
- RCDHeat/ 78 files, 2048 declarations
- RecorderRadix/ 4 files, 60 declarations
- RecursivePotentials/ 12 files, 1073 declarations
- RelativeGeneration/ 9 files, 52 declarations
- RieszRectifiability/ 824 files, 2585 declarations
- RotationWeights/ 51 files, 1539 declarations
- SegmentLenses/ 35 files, 805 declarations
- SeparableQuotients/ 76 files, 1480 declarations
- SignedDisk/ 39 files, 1292 declarations
- SolenoidalShears/ 1 files, 17 declarations
- SphereIsometry/ 67 files, 747 declarations
- Steinitz/ 29 files, 1243 declarations
- StrictMeans/ 94 files, 1135 declarations
- StructuralCrouzeix/ 12 files, 47 declarations
- SymmetricDomains/ 351 files, 2179 declarations
- TemperedDistribution/ 1 files, 75 declarations
- TraceCone/ 11 files, 326 declarations
- TracialCohomology/ 44 files, 777 declarations
- TracialSplitting/ 51 files, 1182 declarations
- TreePotential/ 46 files, 1292 declarations
- Triangular/ 276 files, 8399 declarations
- TriangularHilbert/ 105 files, 930 declarations
- Unitarizability/ 39 files, 356 declarations
- VlasovMaxwell/ 207 files, 3955 declarations
- WeakInfiniteness/ 240 files, 1528 declarations
Files
- DiagonalForms.lean 61 declarations
- Herglotz.lean 99 declarations
- HyperbolicCones.lean 15 imports, no declarations
- Hyperinvariant.lean 1 import, no declarations
- Mahler.lean 236 imports, no declarations
- Nonexpansive.lean 1 import, no declarations
- TensorLp.lean 33 declarations