OAI/Combinatorics/TriangleRemoval/Process/ValidIndexedAttachments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.ValidIndexedAttachments line 18
2. def OAI.SharpTerminalLeave.indexedAttachmentFamily line 25
3. lemma OAI.SharpTerminalLeave.mem_indexedAttachmentFamily line 30
4. lemma OAI.SharpTerminalLeave.indexed_attachment_choices_le_two line 36
5. theorem OAI.SharpTerminalLeave.fixed_forest_indexed_attachment_count line 63