OAI/Probability/CriticalPercolation/Entropy/Uniform01.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Priority.uniform01 line 18
2. instance OAI.CriticalPercolation.Priority.(instance at line 20) line 20
3. def OAI.CriticalPercolation.Priority.law line 26
4. instance OAI.CriticalPercolation.Priority.(instance at line 28) line 28
5. def OAI.CriticalPercolation.Priority.split line 32
6. lemma OAI.CriticalPercolation.Priority.split_apply line 46
7. lemma OAI.CriticalPercolation.Priority.split_symm_apply line 49
8. lemma OAI.CriticalPercolation.Priority.split_preserving line 57
9. lemma OAI.CriticalPercolation.Priority.uniform01_Ioi line 82
10. lemma OAI.CriticalPercolation.Priority.integral_survival line 93