OAI/Probability/SignedSweeps/
1877 declarations, 0 contain sorry, 0 declared as axioms; 174 files
Files
- AllocationSigns.lean 11 declarations
- BalancedErrors.lean 14 declarations
- BaseCases.lean 17 declarations
- BetaNumbers.lean 12 declarations
- BinaryNetworks.lean 13 declarations
- BlockAngle.lean 2 declarations
- BlockPermutations.lean 8 declarations
- BlockRestriction.lean 9 declarations
- BlockTraceBudget.lean 6 declarations
- BranchingDimensions.lean 5 declarations
- BudgetAbsorption.lean 7 declarations
- BudgetBounds.lean 7 declarations
- CoefficientAlgebra.lean 11 declarations
- CoefficientPositivity.lean 2 declarations
- CoefficientPush.lean 19 declarations
- CoefficientUniform.lean 11 declarations
- ColorEntropy.lean 4 declarations
- ColumnAnnihilation.lean 10 declarations
- ColumnSubgroup.lean 29 declarations
- ConvexTwirl.lean 6 declarations
- DensityComparison.lean 11 declarations
- DimensionUpperEntropy.lean 6 declarations
- EmbeddedImprimitivity.lean 4 declarations
- EncounterGraph.lean 6 declarations
- EndpointKernels.lean 11 declarations
- EquivSign.lean 13 declarations
- EvenBoard.lean 4 declarations
- EvenDensity.lean 8 declarations
- EvenMean.lean 5 declarations
- EvenWordCommutant.lean 8 declarations
- ExactRowDimension.lean 7 declarations
- FallingFactorials.lean 7 declarations
- FiniteProbability.lean 12 declarations
- FiniteSampling.lean 13 declarations
- GroupAverage.lean 13 declarations
- GroupedCommute.lean 4 declarations
- GroupedDensity.lean 15 declarations
- GroupedTypes.lean 12 declarations
- HilbertBlockLower.lean 2 declarations
- HilbertBlockNorm.lean 5 declarations
- HilbertBlocks.lean 15 declarations
- HilbertFibers.lean 16 declarations
- HoleCount.lean 7 declarations
- HoleEntropy.lean 20 declarations
- HookArms.lean 12 declarations
- HookCarrierDimension.lean 5 declarations
- HookDimension.lean 7 declarations
- HullDensityComparison.lean 6 declarations
- HullLift.lean 6 declarations
- Imprimitivity.lean 5 declarations
- IndependentNetworks.lean 18 declarations
- InducedCarrier.lean 16 declarations
- InjectionRestriction.lean 5 declarations
- InvariantObstruction.lean 8 declarations
- Invariants.lean 10 declarations
- Irreducibility.lean 9 declarations
- IrreducibleClassification.lean 26 declarations
- IsometricFibers.lean 3 declarations
- Isotypic.lean 17 declarations
- IsotypicDecomposition.lean 11 declarations
- KernelBounds.lean 6 declarations
- KernelTransition.lean 8 declarations
- KroneckerHull.lean 1 declarations
- LocalStabilizerTrace.lean 4 declarations
- LocalTraceBudget.lean 7 declarations
- Main.lean 1 import, no declarations
- MajorizationFactorial.lean 4 declarations
- MarginalKernels.lean 7 declarations
- MarkedCompression.lean 16 declarations
- MarkedMultiplicity.lean 6 declarations
- MarkedPairFibers.lean 9 declarations
- MarkedSector.lean 19 declarations
- MarkedSites.lean 23 declarations
- MarkedTrace.lean 3 declarations
- MarkedWords.lean 17 declarations
- MaskedKernels.lean 6 declarations
- MatrixHullLift.lean 2 declarations
- MatrixTwirl.lean 14 declarations
- MixedNetworks.lean 12 declarations
- Model.lean 68 declarations
- MomentMonotonicity.lean 7 declarations
- NetworkSampling.lean 6 declarations
- NormalizedColors.lean 6 declarations
- OccupiedCounts.lean 6 declarations
- OccupiedGeometry.lean 13 declarations
- OccupiedSweep.lean 10 declarations
- OccupiedTrace.lean 3 declarations
- OccurrenceDimension.lean 23 declarations
- OccurrenceDominance.lean 6 declarations
- OrbitDimension.lean 8 declarations
- PairCentral.lean 12 declarations
- PairConstituents.lean 8 declarations
- PairCovariance.lean 8 declarations
- PairDecomposition.lean 12 declarations
- PairDensityLower.lean 3 declarations
- PairDensityUpper.lean 3 declarations
- PairDominance.lean 10 declarations
- PairEntropyDensity.lean 4 declarations
- PairExtension.lean 3 declarations
- PairTwirlLift.lean 14 declarations
- PairWordTypes.lean 11 declarations
- PartitionCount.lean 9 declarations
- PartitionGeometry.lean 7 declarations
- PermutationRows.lean 9 declarations
- PiTensorHull.lean 5 declarations
- PiTensorMatrix.lean 12 declarations
- PolarDecomposition.lean 4 declarations
- PolytabloidNonzero.lean 8 declarations
- PositiveRootTensor.lean 5 declarations
- ProjectionTrace.lean 6 declarations
- ProvedRanges.lean 46 declarations
- ProvedRanges2.lean 35 declarations
- ProvedRanges3.lean 35 declarations
- ProvedRanges4.lean 33 declarations
- RestrictionSum.lean 38 declarations
- RestrictionSum2.lean 25 declarations
- ReverseEncounters.lean 13 declarations
- RowDimensionFormula.lean 7 declarations
- RowSymmetry.lean 13 declarations
- ShiftedRows.lean 11 declarations
- SignedArmDominance.lean 7 declarations
- SignedBlockCoefficients.lean 4 declarations
- SignedBlockTrace.lean 13 declarations
- SignedPair.lean 5 declarations
- SignedPairDimension.lean 9 declarations
- SignedTypeAngle.lean 1 declarations
- SignedWords.lean 17 declarations
- SparseBridge.lean 3 declarations
- SparseUniform.lean 7 declarations
- SpectralAngle.lean 12 declarations
- SpectralCommute.lean 10 declarations
- SpectralConj.lean 3 declarations
- SpectralGap.lean 7 declarations
- SubsetInclusion.lean 10 declarations
- SubsetLaw.lean 15 declarations
- SubsetSweep.lean 14 declarations
- SupportInverse.lean 34 declarations
- SweepBlockLayers.lean 13 declarations
- SweepCoefficients.lean 24 declarations
- SweepRecurrence.lean 3 declarations
- SwitchAverages.lean 19 declarations
- SwitchGeneration.lean 5 declarations
- TensorAngle.lean 5 declarations
- TensorCommutant.lean 26 declarations
- TensorDensity.lean 14 declarations
- TensorMultiplicity.lean 7 declarations
- TensorSupport.lean 7 declarations
- TraceDecomposition.lean 8 declarations
- TransposeSpecht.lean 9 declarations
- TupleNorm.lean 11 declarations
- TupleRealization.lean 19 declarations
- TypeTrace.lean 3 declarations
- UniformMoment.lean 4 declarations
- UniquePaths.lean 16 declarations
- UnitaryTensorSpan.lean 14 declarations
- VandermondeBranch.lean 4 declarations
- WeightedGraph.lean 11 declarations
- WeightedNoIsolates.lean 12 declarations
- WordAllocations.lean 11 declarations
- WordBlocks.lean 6 declarations
- WordDensity.lean 5 declarations
- WordEmbedding.lean 14 declarations
- WordEntropy.lean 5 declarations
- WordGrouping.lean 17 declarations
- WordIsotypic.lean 14 declarations
- WordMonomial.lean 5 declarations
- WordSpecht.lean 10 declarations
- WordSpectral.lean 4 declarations
- WordTensorBasis.lean 19 declarations
- WordTwirl.lean 9 declarations
- WordUpper.lean 6 declarations
- YoungCorners.lean 9 declarations
- YoungLemma.lean 12 declarations
- YoungRecurrence.lean 6 declarations