OAI/Combinatorics/MatchingCount/Machines/TreeLabelCorrect.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.UnitRefresh.ofFn_orderedEnum line 8
2. abbrev OAI.MatchingFPRAS.ExecutableHierarchy.key line 20
3. lemma OAI.MatchingFPRAS.ExecutableHierarchy.key_injective line 21
4. lemma OAI.MatchingFPRAS.ExecutableHierarchy.labels_pairwise line 27
5. lemma OAI.MatchingFPRAS.ExecutableHierarchy.mem_labels_iff_key line 41
6. lemma OAI.MatchingFPRAS.ExecutableHierarchy.key_le_iff line 59
7. lemma OAI.MatchingFPRAS.ExecutableHierarchy.labels_eq_sorted_keys line 64
8. lemma OAI.MatchingFPRAS.ExecutableHierarchy.labels_eq_ofFn line 81