OAI/Combinatorics/TriangleRemoval/Embeddings/
121 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- BirthGraph.lean 19 declarations
- DegreeTemplate.lean 9 declarations
- EmbeddedWitnessPathSize.lean 4 declarations
- EmbeddedWitnessRoots.lean 4 declarations
- EmptyRootInjection.lean 4 declarations
- FixedEndpointPairInjective.lean 4 declarations
- GraphEmbeddings.lean 8 declarations
- GraphEmbeddingsRestriction.lean 3 declarations
- PathBirthIndex.lean 12 declarations
- ReindexEmbedding.lean 5 declarations
- RerootTemplate.lean 16 declarations
- RestrictLabel.lean 4 declarations
- RootedTemplates.lean 8 declarations
- SuffixTemplate.lean 5 declarations
- TriangleGrowth.lean 9 declarations
- TriangleGrowth2.lean 3 declarations
- WitnessEmbeddingBound.lean 4 declarations