OAI/Topology/ArtinGroups/Functors/
311 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- BasePath.lean 18 declarations
- ColorPacketPerm.lean 7 declarations
- ComplexInitial.lean 2 declarations
- ComplexLowerTruncation.lean 2 declarations
- ComplexPureLayer.lean 6 declarations
- ConeIndexEquiv.lean 3 declarations
- CoordinateExpansion.lean 2 declarations
- Evaluation.lean 10 declarations
- GeneratorVectorComplex.lean 1 declarations
- HomDimensionFlexible.lean 3 declarations
- HomDualSupportedCycles.lean 4 declarations
- HomSupportedCyclesEquiv.lean 1 declarations
- HomSwitchMap.lean 5 declarations
- Index.lean 24 declarations
- LayerIndexEquiv.lean 7 declarations
- LeftHomIndex.lean 10 declarations
- LeftHomPlacement.lean 9 declarations
- LeftPacketIndex.lean 8 declarations
- LeftSocleIndexEquiv.lean 5 declarations
- LevelGeneratorEquiv.lean 3 declarations
- OrbitHomZeroAbove.lean 2 declarations
- PacketSwitchMatrix.lean 6 declarations
- PacketTwistComparison.lean 2 declarations
- Path.lean 7 declarations
- Path2.lean 9 declarations
- PathImage.lean 16 declarations
- PathMarked.lean 9 declarations
- PathSwitchEquiv.lean 5 declarations
- Placement.lean 13 declarations
- ProbeEmbeddingMap.lean 11 declarations
- ReversibleQuiverMap.lean 11 declarations
- SectorInverse.lean 9 declarations
- SeedEquiv.lean 3 declarations
- SignedPacketPerm.lean 7 declarations
- SignedPerm.lean 7 declarations
- SupportedCycles.lean 6 declarations
- TermwiseSplitInjection.lean 7 declarations
- TestIndex.lean 6 declarations
- TestIndex2.lean 6 declarations
- TopZeroProbeSocle.lean 1 declarations
- TruncationIndexEquiv.lean 4 declarations
- TwistProdGeneratorExterior.lean 1 declarations
- WordOrbitCountAdjacency.lean 2 declarations
- WordOrbitSocleAdjacency.lean 4 declarations
- WordPacketPermAppend.lean 4 declarations
- ZigzagLinear.lean 23 declarations