OAI/Combinatorics/HoneycombChords/
6850 declarations, 0 contain sorry, 0 declared as axioms; 100 files
Files
- ArchContinuation.lean 48 declarations
- BetaKernel.lean 10 declarations
- BoundaryExpansion.lean 73 declarations
- BoundaryFusionEquation.lean 84 declarations
- BoundarySystems.lean 92 declarations
- BridgeLaplace.lean 4 declarations
- BridgeMass.lean 11 declarations
- Bridges.lean 3 declarations
- BulkFusionEquation.lean 305 declarations
- CauchyResidual.lean 28 declarations
- CharacteristicProducts.lean 33 declarations
- ChebyshevSystems.lean 38 declarations
- ChordMass.lean 39 declarations
- ChordRemoval.lean 57 declarations
- ChordSystems.lean 54 declarations
- ChordTensors.lean 59 declarations
- ClosedFusion.lean 170 declarations
- ClosedRows.lean 93 declarations
- ColumnExpansion.lean 45 declarations
- ColumnPositivity.lean 28 declarations
- ColumnProjection.lean 33 declarations
- ColumnTransfer.lean 46 declarations
- CommonEigenline.lean 112 declarations
- ConfluentInterpolation.lean 70 declarations
- ConfluentZeros.lean 8 declarations
- Continuation.lean 71 declarations
- ControlledTransforms.lean 32 declarations
- EntireCosine.lean 11 declarations
- FamilyGram.lean 68 declarations
- FiniteFunctional.lean 9 declarations
- Flux.lean 131 declarations
- FluxBounds.lean 106 declarations
- FourFunctions.lean 13 declarations
- FourierApproximation.lean 111 declarations
- FunctionalTransforms.lean 43 declarations
- Geometry.lean 55 declarations
- HyperbolicTransform.lean 37 declarations
- Interlacing.lean 122 declarations
- InterpolationDefinitions.lean 4 declarations
- JetApproximation.lean 44 declarations
- JetCompression.lean 38 declarations
- LaplaceProducts.lean 43 declarations
- LaplaceProfile.lean 11 declarations
- LaurentPolynomials.lean 66 declarations
- LaurentTransfer.lean 118 declarations
- MatrixPencils.lean 30 declarations
- Meixner.lean 106 declarations
- NewtonKernel.lean 46 declarations
- ObliqueBounds.lean 59 declarations
- ObliqueProjection.lean 48 declarations
- Occupancy.lean 80 declarations
- OrderedAssociation.lean 44 declarations
- OrderedDeterminants.lean 47 declarations
- ParameterJets.lean 18 declarations
- PathComponents.lean 11 declarations
- PhysicalFactors.lean 57 declarations
- PhysicalFunctional.lean 1 declarations
- PhysicalMass.lean 10 declarations
- PhysicalTiles.lean 26 declarations
- PhysicalWeights.lean 65 declarations
- PlanarDiagrams.lean 116 declarations
- PlanarRows.lean 9 declarations
- Pollaczek.lean 50 declarations
- PolynomialKernels.lean 35 declarations
- PositiveFlags.lean 28 declarations
- PositiveJets.lean 73 declarations
- PositivePencils.lean 44 declarations
- RasterChords.lean 92 declarations
- RasterGrid.lean 35 declarations
- Reflection.lean 156 declarations
- ReflectionEquation.lean 205 declarations
- ResidualAsymptotics.lean 41 declarations
- ResidualMeans.lean 48 declarations
- Resolvents.lean 97 declarations
- RowExchange.lean 17 declarations
- SechExpectation.lean 2 declarations
- SechResidual.lean 28 declarations
- SechTransform.lean 10 declarations
- SparseInterpolation.lean 83 declarations
- SpectralCommutation.lean 72 declarations
- SpectralRows.lean 334 declarations
- StripExhaustion.lean 56 declarations
- StripGram.lean 29 declarations
- StripPolynomial.lean 7 declarations
- StripProducts.lean 39 declarations
- StripProjection.lean 34 declarations
- TaylorInterpolation.lean 52 declarations
- TransferProjection.lean 54 declarations
- TransformSurjectivity.lean 73 declarations
- TranslatedJets.lean 46 declarations
- YangBaxter.lean 2 declarations
- YangBaxterDefinitions.lean 7 declarations
- YangBaxterNegative.lean 252 declarations
- YangBaxterPolynomialsNegative.lean 57 declarations
- YangBaxterPolynomialsPositive.lean 458 declarations
- YangBaxterPolynomialsZero.lean 254 declarations
- YangBaxterPositive.lean 252 declarations
- YangBaxterSupport.lean 3 declarations
- YangBaxterWeights.lean 24 declarations
- YangBaxterZero.lean 252 declarations