OAI/Topology/ArtinGroups/Quivers/
468 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- ClosedNeighborhood.lean 9 declarations
- CoefficientMatrix.lean 6 declarations
- CornerPath.lean 10 declarations
- CornerScalar.lean 4 declarations
- CotestPlacement.lean 9 declarations
- Dual.lean 9 declarations
- EdgeContraction.lean 7 declarations
- ExtArrow.lean 2 declarations
- Iso.lean 16 declarations
- LengthCases.lean 1 declarations
- Level.lean 13 declarations
- LinearMatrix.lean 6 declarations
- OffDiagonalVertexZero.lean 6 declarations
- OrthogonalVertices.lean 12 declarations
- PacketIndex.lean 10 declarations
- Path.lean 23 declarations
- PathTwo.lean 15 declarations
- PathTwoSelf.lean 9 declarations
- PathZero.lean 18 declarations
- ProbeCartanCore.lean 5 declarations
- ProbeLeaf.lean 6 declarations
- ProbeSimpleEdge.lean 3 declarations
- ProbeSwapIso.lean 15 declarations
- ProbeVertex.lean 10 declarations
- Reduction.lean 7 declarations
- ReversibleQuiver.lean 66 declarations
- ScalarCornerMatrixDegree.lean 2 declarations
- SelfCornerEquiv.lean 8 declarations
- SignDiagonal.lean 7 declarations
- SimpleEdge.lean 6 declarations
- SmulMul.lean 21 declarations
- StringArrow.lean 31 declarations
- TestIndex.lean 8 declarations
- TestPlacement.lean 9 declarations
- TestTransform.lean 10 declarations
- TokenTestVector.lean 14 declarations
- TraceLinear.lean 9 declarations
- UnitTestVector.lean 12 declarations
- VertexHom.lean 11 declarations
- VertexIdMulPath.lean 4 declarations
- VertexLinear.lean 12 declarations
- VertexMinimal.lean 7 declarations