OAI/RingTheory/DirectFiniteness/
1114 declarations, 0 contain sorry, 0 declared as axioms; 126 files
Files
- AffineLines.lean 9 declarations
- AlgebraicCriterion.lean 3 declarations
- AlgebraicPacking.lean 8 declarations
- Alteration.lean 6 declarations
- AssignedDevelopment.lean 13 declarations
- BalanceCoarsening.lean 9 declarations
- BalanceDetachment.lean 8 declarations
- BalanceObstruction.lean 1 declarations
- BalanceRestriction.lean 4 declarations
- BoundaryCycles.lean 8 declarations
- BoundaryFilling.lean 2 declarations
- BoundarySplitting.lean 2 declarations
- CandidateBounds.lean 8 declarations
- CandidateClassification.lean 6 declarations
- CandidateCounting.lean 12 declarations
- CandidateDependencies.lean 17 declarations
- CandidateGeometry.lean 6 declarations
- CandidateModel.lean 15 declarations
- CandidateRelations.lean 18 declarations
- CharacterFormulas.lean 3 declarations
- CharacterIdempotents.lean 16 declarations
- CharacterTwist.lean 28 declarations
- ChosenCriterion.lean 8 declarations
- CoordinateCharacters.lean 8 declarations
- CycleFactorization.lean 5 declarations
- CycleSplitting.lean 4 declarations
- CycleSums.lean 9 declarations
- CyclicLabels.lean 4 declarations
- DetachmentGenus.lean 9 declarations
- DiagramDeletion.lean 1 declarations
- DiagramInsertion.lean 1 declarations
- DiagramJoining.lean 3 declarations
- DiagramObstruction.lean 4 declarations
- DiagramReduction.lean 1 declarations
- DirectionCompleteness.lean 4 declarations
- DirectionFrame.lean 26 declarations
- DirectionSpaces.lean 9 declarations
- EulerBound.lean 4 declarations
- EventLoad.lean 3 declarations
- FieldExtensions.lean 1 declarations
- FiniteAffine.lean 27 declarations
- FiniteBlock.lean 13 declarations
- FiniteGeneration.lean 2 declarations
- FiniteParameters.lean 15 declarations
- FinitePresentation.lean 5 declarations
- FinitelyPresented.lean 2 declarations
- FrameExistence.lean 1 declarations
- FrameTransport.lean 2 declarations
- GluedGroup.lean 16 declarations
- GluedWords.lean 7 declarations
- GroupEmbedding.lean 4 declarations
- HNNPresentation.lean 2 declarations
- HoleEvents.lean 20 declarations
- HoleExistence.lean 2 declarations
- HoleNumerics.lean 3 declarations
- HoleSelection.lean 5 declarations
- IncidenceCycles.lean 7 declarations
- IncidenceDirections.lean 12 declarations
- LabelSupport.lean 9 declarations
- LexicographicOrder.lean 6 declarations
- Main.lean 1 declarations
- MatrixBlock.lean 9 declarations
- Model.lean 1 declarations
- ModelPartition.lean 19 declarations
- MultiHNN.lean 14 declarations
- OddTorsion.lean 5 declarations
- OneCandidateCounting.lean 13 declarations
- OpenDiagrams.lean 5 declarations
- PackingFormulas.lean 1 declarations
- Pairing.lean 31 declarations
- ParameterBounds.lean 7 declarations
- PartialPartition.lean 10 declarations
- PartitionMerging.lean 15 declarations
- PlanarBalance.lean 26 declarations
- PlanarDiagrams.lean 7 declarations
- PlaneOperators.lean 1 declarations
- PrescribedData.lean 39 declarations
- PrescribedDirections.lean 7 declarations
- PrescribedFields.lean 15 declarations
- PrescribedIncidence.lean 4 declarations
- PrescribedOutputs.lean 8 declarations
- PrescribedPairing.lean 5 declarations
- PrescribedParameters.lean 17 declarations
- PrescribedPresentation.lean 2 declarations
- PrescribedSearch.lean 17 declarations
- PrescribedSlots.lean 7 declarations
- PrescribedSubfield.lean 4 declarations
- PrimeCertificate.lean 1 declarations
- ProductAlgebras.lean 5 declarations
- QuotientField.lean 15 declarations
- Rectangular.lean 3 declarations
- ReducedWalks.lean 6 declarations
- ReplacementGeometry.lean 5 declarations
- ReplacementPolygon.lean 4 declarations
- RibbonDetachment.lean 19 declarations
- RibbonGeometry.lean 33 declarations
- RibbonRestriction.lean 13 declarations
- RibbonSplitting.lean 8 declarations
- RibbonSums.lean 14 declarations
- RibbonWheels.lean 12 declarations
- ScalarFormulas.lean 5 declarations
- ScalarWitnesses.lean 5 declarations
- ShortIndependence.lean 3 declarations
- ShortRelators.lean 12 declarations
- SimplexBound.lean 3 declarations
- SlabAssembly.lean 3 declarations
- SlabAvoidance.lean 42 declarations
- SlabEvents.lean 16 declarations
- SlabHoleEvents.lean 6 declarations
- SlabKeys.lean 14 declarations
- SlabLoad.lean 2 declarations
- SlabNumerics.lean 4 declarations
- SlabPartition.lean 9 declarations
- SlabPatch.lean 6 declarations
- TradeDegree.lean 17 declarations
- TradeFamily.lean 16 declarations
- TradeGirth.lean 4 declarations
- TradeLines.lean 9 declarations
- TradePolygon.lean 3 declarations
- TranslatedUnits.lean 4 declarations
- VertexMerging.lean 9 declarations
- WeightTransfer.lean 6 declarations
- WordCycles.lean 1 declarations
- WordDiagrams.lean 2 declarations
- WordReduction.lean 15 declarations
- WordWheels.lean 4 declarations