OAI/Algebra/GroupRing/
4641 declarations, 0 contain sorry, 0 declared as axioms; 124 files
Files
- AbsorbCells.lean 10 declarations
- AbsorbTracks.lean 21 declarations
- AffineIntervals.lean 56 declarations
- AlgebraicPictures.lean 54 declarations
- Attachment.lean 35 declarations
- AttachmentFurther.lean 43 declarations
- AttachmentHEP.lean 14 declarations
- BFSTree.lean 48 declarations
- BalancedPieces.lean 64 declarations
- BallCount.lean 16 declarations
- Basic.lean 3 declarations
- BlockGrid.lean 33 declarations
- BlockPropagation.lean 24 declarations
- BoundedSystem.lean 37 declarations
- Cayley.lean 67 declarations
- CayleyFurther.lean 39 declarations
- CellHEP.lean 25 declarations
- CellModule.lean 19 declarations
- CellNorm.lean 13 declarations
- Cellular.lean 39 declarations
- CellularFurther.lean 23 declarations
- CellularFurther2.lean 23 declarations
- ChainActiveStages.lean 41 declarations
- ChainCoverage.lean 29 declarations
- ChainUsage.lean 35 declarations
- ChunkComparisons.lean 50 declarations
- ClosedWords.lean 662 declarations
- ClusterLocalization.lean 20 declarations
- ComparisonCoding.lean 33 declarations
- ConcreteGroup.lean 19 declarations
- ConcreteModel.lean 2 declarations
- ConcreteTorsion.lean 7 declarations
- ConeArea.lean 18 declarations
- ConeBoundaryPaths.lean 7 declarations
- ConeCells.lean 50 declarations
- ConeChains.lean 14 declarations
- ConePicture.lean 52 declarations
- ConeSigned.lean 15 declarations
- ConeTorsion.lean 4 declarations
- ConedMap.lean 65 declarations
- ContiguousSplit.lean 38 declarations
- CoreStripping.lean 35 declarations
- CycleLists.lean 55 declarations
- CylinderRetention.lean 17 declarations
- DegreeTwoSuppression.lean 47 declarations
- DiskHomotopy.lean 6 declarations
- DiskTracks.lean 13 declarations
- EntropyStages.lean 43 declarations
- ExpansionDiameter.lean 25 declarations
- FiniteClusters.lean 48 declarations
- FixedGraph.lean 4 declarations
- FramedConjugators.lean 8 declarations
- FramedLoopIdentities.lean 5 declarations
- FramedSpherical.lean 10 declarations
- FreeActionNorm.lean 15 declarations
- FullPairing.lean 52 declarations
- GeneralPosition.lean 37 declarations
- GraphConeCW.lean 70 declarations
- GraphConePresentation.lean 31 declarations
- GraphLabels.lean 10 declarations
- GraphQuotient.lean 15 declarations
- GridUniform.lean 24 declarations
- HomotopyFunctor.lean 87 declarations
- HomotopyTracks.lean 6 declarations
- IndexedCells.lean 13 declarations
- IntervalSelfLinks.lean 28 declarations
- Iso.lean 42 declarations
- LinkComponents.lean 60 declarations
- ListPassages.lean 57 declarations
- LoopSphere.lean 64 declarations
- LoopTracks.lean 6 declarations
- LoopTranspose.lean 11 declarations
- Main.lean 1 declarations
- MapEuler.lean 46 declarations
- MapRestrict.lean 52 declarations
- MatchedLabels.lean 39 declarations
- MatchingGraphs.lean 29 declarations
- Milnor.lean 70 declarations
- MultiplicityBound.lean 27 declarations
- PartialLift.lean 45 declarations
- PartitionEntropy.lean 49 declarations
- Path.lean 62 declarations
- PathCharges.lean 8 declarations
- PathIncidences.lean 36 declarations
- PatternCount.lean 86 declarations
- PatternTotalCoding.lean 34 declarations
- PatternUniform.lean 22 declarations
- PictureChains.lean 11 declarations
- PlanarMap.lean 26 declarations
- PortSubdivision.lean 55 declarations
- RawDecomposition.lean 55 declarations
- RealizationTransport.lean 36 declarations
- RelationArea.lean 29 declarations
- RelationSplit.lean 14 declarations
- RelationTorsion.lean 3 declarations
- SeparatorLevels.lean 12 declarations
- ShortClosure.lean 52 declarations
- SidePins.lean 42 declarations
- SimplexTopology.lean 60 declarations
- Simplicial.lean 55 declarations
- SphereTopology.lean 45 declarations
- SplitModel.lean 5 declarations
- StageBlocks.lean 43 declarations
- StageEntropy.lean 54 declarations
- StageExpectation.lean 38 declarations
- StageRealization.lean 38 declarations
- SupportedImage.lean 44 declarations
- TreeCentroid.lean 35 declarations
- TwoSideFullStage.lean 40 declarations
- TypeWeights.lean 52 declarations
- TypedComponent.lean 33 declarations
- TypedDiameter.lean 45 declarations
- TypedGraphs.lean 32 declarations
- VertexCollapse.lean 10 declarations
- WeightedCycles.lean 36 declarations
- WeightedGirth.lean 44 declarations
- WeightedPortMoore.lean 37 declarations
- WordBlocks.lean 50 declarations
- WordBlocksFurther.lean 4 declarations
- WordCursor.lean 18 declarations
- WordEstimate.lean 44 declarations
- WordFrames.lean 11 declarations
- WordLiftSurgery.lean 4 declarations
- WordResponse.lean 12 declarations