OAI/Combinatorics/TriangleRemoval/Process/SuffixProjection.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.suffixProjection line 21
2. lemma OAI.SharpTerminalLeave.suffix_projection_embedding line 24
3. lemma OAI.SharpTerminalLeave.TriangleGrowth.path_card_split line 53
4. lemma OAI.SharpTerminalLeave.TriangleGrowth.path_mark_projection line 57
5. def OAI.SharpTerminalLeave.TriangleGrowth.pathWitnessCode line 66
6. lemma OAI.SharpTerminalLeave.TriangleGrowth.pathRootEdges_count line 80
7. theorem OAI.SharpTerminalLeave.TriangleGrowth.path_witness_code_count line 85