FormalConjecturesForMathlib/Combinatorics/SimpleGraph/
269 declarations, 0 contain sorry, 0 declared as axioms; 44 files
Folders
- Coloring/ 1 files, 19 declarations
Files
- AnnihilationNumber.lean 2 declarations
- Balanced.lean 1 declarations
- Chordal.lean 9 declarations
- Circumference.lean 3 declarations
- Clique.lean 5 declarations
- CompleteGraphEdgeCount.lean 2 declarations
- Connectivity.lean 22 declarations
- Cvetkovic.lean 1 declarations
- Cycle.lean 5 declarations
- CycleRank.lean 1 declarations
- Decomposition.lean 1 declarations
- Degeneracy.lean 4 declarations
- Degrees.lean 14 declarations
- DiamExtra.lean 1 declarations
- Domination.lean 22 declarations
- Eccentricity.lean 8 declarations
- EdgeColouring.lean 2 declarations
- FractionalAlpha.lean 1 declarations
- HarmonicIndex.lean 1 declarations
- HomDensity.lean 3 declarations
- Hypercube.lean 2 declarations
- Independence.lean 15 declarations
- Induced.lean 6 declarations
- InducedTreeNeighborhood.lean 14 declarations
- Johnson.lean 3 declarations
- LargestInducedTree.lean 12 declarations
- LovaszTheta.lean 10 declarations
- Matching.lean 6 declarations
- PathCover.lean 2 declarations
- Prod.lean 1 declarations
- QuasiLineGraph.lean 1 declarations
- Ramsey.lean 8 declarations
- Residue.lean 4 declarations
- Saturation.lean 3 declarations
- SizeRamsey.lean 1 declarations
- SpanningTree.lean 1 declarations
- SubgraphIsomorphism.lean 2 declarations
- SzegedIndex.lean 7 declarations
- Temperature.lean 2 declarations
- UnitDistancePlaneGraph.lean 4 declarations
- VertexDistance.lean 30 declarations
- WellTotallyDominated.lean 4 declarations
- WienerIndex.lean 4 declarations