OAI/Combinatorics/TriangleRemoval/Spectral/
158 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- CheckMarkedTrace.lean 7 declarations
- CheckMarkedTraceCommon.lean 1 declarations
- CheckMarkedTraceHit.lean 2 declarations
- ClosedWalkFamily.lean 9 declarations
- ClosedWalkPattern.lean 8 declarations
- ClosedWords.lean 4 declarations
- CountClosedWalk.lean 4 declarations
- DensityGlobalSpectral.lean 2 declarations
- EdgeStar.lean 9 declarations
- ExtendStarApply.lean 1 declarations
- ExtendStarMulVec.lean 6 declarations
- FallingFactorialNormalizedProduct.lean 4 declarations
- FreshLogCheckNone.lean 1 declarations
- FreshLogCheckNone2.lean 1 declarations
- FreshLogCheckNone3.lean 1 declarations
- GlobalLinkAdjacencyHermitian.lean 2 declarations
- GraphStarApproximation.lean 1 declarations
- LinkStarMatrix.lean 10 declarations
- MatrixEuclideanAlgHom.lean 4 declarations
- MatrixExpL2Bound.lean 3 declarations
- MatrixInfinityAlgHom.lean 4 declarations
- MatrixRowAbsSum.lean 4 declarations
- MovingStarDegree.lean 24 declarations
- NormalizedOnes.lean 8 declarations
- RealTraceAdjMatrix.lean 2 declarations
- StarInclusion.lean 7 declarations
- TracedGridQueryAddress.lean 4 declarations
- TracedGridQueryLog.lean 1 declarations
- TracedGridQuerySeparated.lean 3 declarations
- WheelSpoke.lean 21 declarations