OAI/Probability/SignedSweeps/WordAllocations.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SignedSweeps.EvenAllocation line 10
2. lemma OAI.SignedSweeps.allocation_complement_card line 12
3. def OAI.SignedSweeps.allocationEquiv line 19
4. lemma OAI.SignedSweeps.allocationEquiv_left_mem line 25
5. lemma OAI.SignedSweeps.allocationEquiv_right_not_mem line 29
6. def OAI.SignedSweeps.wordEvenSites line 33
7. lemma OAI.SignedSweeps.mem_wordEvenSites line 36
8. lemma OAI.SignedSweeps.pairColorWord_evenSites line 39
9. lemma OAI.SignedSweeps.pairColorEmbedding_disjoint line 54
10. lemma OAI.SignedSweeps.pairWordEmbedding_orthogonal line 66
11. lemma OAI.SignedSweeps.pairColorEmbedding_range line 73