OAI/Combinatorics/BalancedRyser/Local/AlignedListProbability.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.AlignedListProbability.partial_alignment_probability_eq line 18
2. theorem OAI.Balanced.AlignedListProbability.global_conditional_alignment_probability_eq line 46
3. theorem OAI.Balanced.AlignedListProbability.canonical_conditional_alignment_probability_eq line 71
4. theorem OAI.Balanced.AlignedListProbability.card_exposedTupleIndices line 85
5. theorem OAI.Balanced.AlignedListProbability.tuplePoint_eq_of_agree line 101
6. def OAI.Balanced.AlignedListProbability.ListAligned line 108
7. theorem OAI.Balanced.AlignedListProbability.listAligned_agree line 113
8. theorem OAI.Balanced.AlignedListProbability.fixed_alignment_probability_eq line 129
9. theorem OAI.Balanced.AlignedListProbability.alignment_inter_probability_eq line 142
10. theorem OAI.Balanced.AlignedListProbability.list_alignment_probability line 157