OAI/Probability/SwitchChain/BinaryAssignments.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.BinaryAssignments.singletons line 12
2. def OAI.Problem315.BinaryAssignments.common line 13
3. def OAI.Problem315.BinaryAssignments.first line 15
4. def OAI.Problem315.BinaryAssignments.second line 16
5. theorem OAI.Problem315.BinaryAssignments.indicator_sum line 19
6. theorem OAI.Problem315.BinaryAssignments.first_on_singletons line 30
7. theorem OAI.Problem315.BinaryAssignments.first_filter line 35
8. theorem OAI.Problem315.BinaryAssignments.second_filter line 40
9. theorem OAI.Problem315.BinaryAssignments.first_card line 45
10. theorem OAI.Problem315.BinaryAssignments.second_card_add line 54