OAI/Combinatorics/Chromatic/QuantumTorus/
460 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- Admissible.lean 32 declarations
- ConeSectionDomination.lean 9 declarations
- CovectorPrescriptions.lean 1 declarations
- ExpressionAdditiveOperations.lean 11 declarations
- GeometricMutation.lean 16 declarations
- GlobalFiberBound.lean 3 declarations
- GraphRationalModel.lean 5 declarations
- GraphSquarefreeKernel.lean 7 declarations
- IndependentElement.lean 2 declarations
- IndependentElementReindex.lean 6 declarations
- IndependentSetElements.lean 11 declarations
- IndexedUnit.lean 6 declarations
- InfinityExpansionFaithful.lean 6 declarations
- InfinityUnitAlgebra.lean 3 declarations
- LatticeHahn.lean 5 declarations
- MonomialConjugation.lean 9 declarations
- MutatedCanonicalCharts.lean 1 declarations
- MutatedNegativeCharts.lean 3 declarations
- MutatedSystemIdentification.lean 3 declarations
- MutationConvexSigns.lean 7 declarations
- MutationFiberArithmetic.lean 7 declarations
- MutationInfinityBound.lean 1 declarations
- NearCutGeometry.lean 7 declarations
- NearCutMutation.lean 6 declarations
- NearCutPolynomialSeeds.lean 6 declarations
- NearCutSectionCharts.lean 3 declarations
- NormalizedMonomialAction.lean 6 declarations
- OrbitMonomialSymmetric.lean 15 declarations
- OrderedIndependentProduct.lean 8 declarations
- OrdinaryElementaryExpressions.lean 11 declarations
- OrdinaryExpressionNaturality.lean 2 declarations
- PolynomialThetaIdentification.lean 3 declarations
- ProductUnitFiltration.lean 7 declarations
- PureCutTelescoping.lean 12 declarations
- PureFaceProjection.lean 14 declarations
- PureProductSplit.lean 9 declarations
- QuantumTorus.lean 24 declarations
- RationalFiberTorus.lean 34 declarations
- RationalPureAction.lean 19 declarations
- RationalTorusEmbedding.lean 10 declarations
- RationalTorusFaithful.lean 6 declarations
- SectionCharts.lean 6 declarations
- SectionMonomialExpansion.lean 5 declarations
- SectionTrace.lean 3 declarations
- SimplePlaneGeometry.lean 4 declarations
- StringLiteralClosure.lean 3 declarations
- StringStripDimension.lean 10 declarations
- StringSumProduct.lean 6 declarations
- StringSumPush.lean 8 declarations
- SymplecticTorusMap.lean 6 declarations
- TorusContinuity.lean 10 declarations
- TorusProjection.lean 6 declarations
- UnitRowSelection.lean 16 declarations
- UpstreamFiber.lean 1 declarations
- UpstreamSimpleFiber.lean 2 declarations
- WeakStrictUnitSelections.lean 9 declarations
- WeakUnitRecursion.lean 9 declarations