OAI/Combinatorics/BalancedRyser/Incidence/
800 declarations, 0 contain sorry, 0 declared as axioms; 86 files
Files
- Affine.lean 15 declarations
- AffineDirectionCounting.lean 8 declarations
- AffineDoubleCount.lean 8 declarations
- AffineIncidence.lean 18 declarations
- AffineInjectionExposure.lean 3 declarations
- AffineInjectionGuards.lean 7 declarations
- AffineMomentAlgebraLemmas.lean 17 declarations
- AffinePairEvaluation.lean 9 declarations
- AffinePencilForcing.lean 5 declarations
- AffinePermutationExposure.lean 9 declarations
- AffinePlaneInstance.lean 6 declarations
- AffinePlaneOrderExposure.lean 20 declarations
- AffineProfileExposure.lean 13 declarations
- AffineProfileIncidence.lean 21 declarations
- AffineProfileParameter.lean 13 declarations
- AffineSecondMoment.lean 4 declarations
- AffineTargetError.lean 4 declarations
- AffineUniformCoordinates.lean 9 declarations
- AlignedFreshIncidence.lean 2 declarations
- AlignedGeneratorIncidence.lean 5 declarations
- AlignedGlobalProjectedIncidence.lean 8 declarations
- CandidateConditionalFreshIncidence.lean 5 declarations
- CandidateFreshIncidence.lean 24 declarations
- CandidateIncidence.lean 34 declarations
- CandidateIncidenceCompletion.lean 2 declarations
- CandidateIncidenceCountTransport.lean 6 declarations
- CandidateIncidenceInitialSums.lean 21 declarations
- CandidateIncidenceMean.lean 9 declarations
- CandidateIncidenceModel.lean 22 declarations
- CandidateIncidenceProbability.lean 3 declarations
- CandidateIncidenceRootSums.lean 15 declarations
- CandidateIncidenceTests.lean 10 declarations
- CandidateIncidenceTransport.lean 6 declarations
- CandidatePartialPointIncidence.lean 7 declarations
- CandidatePointIncidence.lean 15 declarations
- CandidatePointIncidenceMean.lean 11 declarations
- CandidateSmallIncidence.lean 5 declarations
- CorePencil.lean 1 declarations
- CorePencilAssembly.lean 2 declarations
- CorePencilFieldTransport.lean 8 declarations
- CorePencilReduction.lean 2 declarations
- ElementaryIncidence.lean 3 declarations
- FiniteAffinePlane.lean 2 declarations
- FiniteGridPolynomial.lean 4 declarations
- FiniteProfileIncidence.lean 7 declarations
- ForcedSinglePencil.lean 3 declarations
- LocalLargePencils.lean 13 declarations
- LocalOrderedPencils.lean 5 declarations
- ParallelPencilForcing.lean 10 declarations
- PartialIncidence.lean 19 declarations
- PartialIncidenceCounts.lean 6 declarations
- PencilOccupancy.lean 4 declarations
- PencilReuseEndpoint.lean 1 declarations
- PrimeStabilityEndpoint.lean 1 declarations
- PrimeStabilityReduction.lean 1 declarations
- ProfileEmpiricalIncidence.lean 13 declarations
- ProfileLimitIncidence.lean 11 declarations
- Projective.lean 11 declarations
- Projective2.lean 14 declarations
- ProjectiveIncidence.lean 13 declarations
- ProjectiveModel.lean 16 declarations
- ProjectiveNormalization.lean 37 declarations
- ProjectiveSkewCounting.lean 11 declarations
- ProjectiveStability.lean 1 declarations
- RedeiPolynomial.lean 18 declarations
- RepeatedIncidences.lean 8 declarations
- SelectionAffineAdapter.lean 4 declarations
- SinglePencilObstruction.lean 6 declarations
- SmallProjectiveArithmetic.lean 5 declarations
- SmallProjectiveStability.lean 4 declarations
- SmallProjectiveStabilityReduction.lean 1 declarations
- Stability.lean 6 declarations
- StabilityAlgebraAssembly.lean 8 declarations
- StabilityBlocking.lean 8 declarations
- StabilityCoprimeReduction.lean 6 declarations
- StabilityDegreeBudget.lean 3 declarations
- StabilityFinalRefinement.lean 2 declarations
- StabilityGridDegree.lean 6 declarations
- StabilityLargeFiber.lean 8 declarations
- StabilityLeadingPart.lean 18 declarations
- StabilityPolynomial.lean 3 declarations
- StabilityPolynomial2.lean 11 declarations
- StabilityRootDivisibility.lean 6 declarations
- StabilitySkewCountLemmas.lean 12 declarations
- StabilityTangents.lean 13 declarations
- UnusedOffsetIncidence.lean 26 declarations