OAI/Combinatorics/StripMass/
5677 declarations, 0 contain sorry, 0 declared as axioms; 130 files
Files
- ArchIntegrals.lean 32 declarations
- ArchRoots.lean 68 declarations
- ArchTrig.lean 43 declarations
- AugmentedColumn.lean 41 declarations
- AugmentedTail.lean 44 declarations
- Basic.lean 64 declarations
- BlockPfaffian.lean 51 declarations
- BottomGauge.lean 37 declarations
- BottomPadding.lean 39 declarations
- BoundaryTree.lean 82 declarations
- BridgeUnfold.lean 46 declarations
- CauchyMatrices.lean 39 declarations
- CollisionLeaf.lean 39 declarations
- CollisionSubstitutions.lean 43 declarations
- ColumnGeometry.lean 39 declarations
- ColumnSew.lean 44 declarations
- ColumnSweep.lean 30 declarations
- CoordinateBoxes.lean 45 declarations
- CramerBounds.lean 48 declarations
- CutPatch.lean 58 declarations
- CutStateSound.lean 44 declarations
- DeficitBounds.lean 29 declarations
- DeformationWeights.lean 46 declarations
- DensityExhaustion.lean 35 declarations
- DiagonalFactors.lean 69 declarations
- FiniteEnds.lean 20 declarations
- FirstFlatSpecialization.lean 43 declarations
- FirstThree.lean 40 declarations
- FluxWindow.lean 52 declarations
- FreshGate.lean 55 declarations
- GraphPath.lean 55 declarations
- HalfTurn.lean 51 declarations
- HeightOne.lean 50 declarations
- HoneycombClip.lean 47 declarations
- HoneycombDictionary.lean 39 declarations
- HoneycombTiles.lean 49 declarations
- InterpolantCovariance.lean 47 declarations
- InverseIntegrability.lean 37 declarations
- InverseMoments.lean 41 declarations
- LaguerreNormalization.lean 28 declarations
- LaguerreScaling.lean 42 declarations
- LaguerreTails.lean 25 declarations
- LastRow.lean 64 declarations
- LaurentBox.lean 46 declarations
- LaurentNumerator.lean 54 declarations
- LocalPadding.lean 35 declarations
- Main.lean 1 import, no declarations
- MergePairCandidate.lean 39 declarations
- MirrorExterior.lean 55 declarations
- MomentGrowth.lean 24 declarations
- MonicPositive.lean 30 declarations
- NodalEmpty.lean 46 declarations
- NodalExchange.lean 26 declarations
- NodalNodes.lean 50 declarations
- NodalRegularity.lean 39 declarations
- NodalScalarDeletion.lean 46 declarations
- NodalTorusValue.lean 51 declarations
- NorthBijection.lean 60 declarations
- NorthGluing.lean 20 declarations
- NorthMass.lean 36 declarations
- NorthMerging.lean 37 declarations
- PairCoordinates.lean 36 declarations
- PairSelfNode.lean 55 declarations
- PairingDiagrams.lean 67 declarations
- PairingSurgery.lean 31 declarations
- PatchReplacement.lean 39 declarations
- PfaffianConfluentLimit.lean 28 declarations
- PfaffianEvaluation.lean 47 declarations
- PfaffianIntegration.lean 28 declarations
- PfaffianMatrices.lean 60 declarations
- PfaffianRecursion.lean 62 declarations
- PfaffianSupport.lean 56 declarations
- PhaseAlgebra.lean 33 declarations
- PhysicalPorts.lean 58 declarations
- PhysicalStationarity.lean 49 declarations
- PolynomialDegrees.lean 41 declarations
- PositiveAssociation.lean 28 declarations
- ProjectionInjection.lean 47 declarations
- QuarterMoments.lean 21 declarations
- QuarticIntegrals.lean 32 declarations
- RealEvaluation.lean 53 declarations
- ReflectionFractions.lean 25 declarations
- ReflectionIntegrals.lean 26 declarations
- ResidualEvaluation.lean 29 declarations
- ResidualParityCoefficients.lean 38 declarations
- RestrictedDiagrams.lean 74 declarations
- ReversedConvergence.lean 60 declarations
- RibbonGlobal.lean 40 declarations
- RibbonLocal.lean 69 declarations
- RibbonWalk.lean 28 declarations
- RightStieltjes.lean 28 declarations
- RootOfUnityPowers.lean 74 declarations
- ScalarBridge.lean 60 declarations
- ScalarDegree.lean 37 declarations
- ScalarDeleteContinuation.lean 30 declarations
- ScalarFlat.lean 44 declarations
- ScalarMergeTrig.lean 34 declarations
- SchurIdentity.lean 36 declarations
- SewnAssignment.lean 46 declarations
- SidePaths.lean 43 declarations
- Specialization.lean 55 declarations
- SpecializationPolynomial.lean 43 declarations
- SpectralComponents.lean 52 declarations
- SplitGluing.lean 56 declarations
- SplitProjection.lean 44 declarations
- StepComplete.lean 50 declarations
- StepToCut.lean 44 declarations
- StieltjesLimits.lean 35 declarations
- SwapVacancy.lean 36 declarations
- TailIntegrals.lean 30 declarations
- ThreeBoxBraidPolynomial.lean 52 declarations
- ThreeBoxCertificates.lean 17 declarations
- ThreeBoxProfiles.lean 25 declarations
- ThreeBoxSplitPolynomial.lean 43 declarations
- ThreeBoxWeights.lean 112 declarations
- TopPadding.lean 38 declarations
- Trigonometry.lean 27 declarations
- TripleCircuit.lean 62 declarations
- TriplePatch.lean 52 declarations
- TurnDisk.lean 47 declarations
- TurnEvolution.lean 58 declarations
- TurnGate.lean 28 declarations
- TurnRectangleMatching.lean 57 declarations
- TurnRhombus.lean 68 declarations
- TurnShelling.lean 14 declarations
- TurnWideGate.lean 47 declarations
- VacuumClosure.lean 38 declarations
- VacuumDegree.lean 41 declarations
- WeightComparison.lean 39 declarations
- WireContraction.lean 41 declarations