OAI/Combinatorics/TriangleRemoval/Embeddings/ReindexEmbedding.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.reindexEmbedding line 17
2. lemma OAI.SharpTerminalLeave.reindexEmbedding_apply line 20
3. lemma OAI.SharpTerminalLeave.reindexEdges_map line 24
4. def OAI.SharpTerminalLeave.boundaryInjection line 37
5. theorem OAI.SharpTerminalLeave.graphEmbedding_fiber_le_rootedCount line 46