OAI/Probability/SpanningForest/LabelNoCollision.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.LabelNoCollision.probability line 14
2. theorem OAI.Problem336.LabelNoCollision.marginal line 18
3. theorem OAI.Problem336.LabelNoCollision.map_marginal line 23
4. theorem OAI.Problem336.LabelNoCollision.independent line 29
5. theorem OAI.Problem336.LabelNoCollision.map_pair line 43
6. theorem OAI.Problem336.LabelNoCollision.uniform01_noAtoms line 50
7. theorem OAI.Problem336.LabelNoCollision.uniform01_finite line 54
8. theorem OAI.Problem336.LabelNoCollision.diagonal_null line 58
9. theorem OAI.Problem336.LabelNoCollision.pair_collision_null line 67
10. theorem OAI.Problem336.LabelNoCollision.ae_ne line 74
11. theorem OAI.Problem336.LabelNoCollision.ae_injective_labels line 79