Entry | Value |
---|---|
Name | probability_1 |
Conclusion | random_geometric = random_geometric_loop 0 |
Constructive Proof | Yes |
Axiom | N|A |
Classical Lemmas | N|A |
Constructive Lemmas | |
Contained Package | probability |
Comment | Probability package from OpenTheory. |