OAI/Probability/CriticalPercolation/Modular/Mass.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.ReverseGuess.mass line 14
2. lemma OAI.CriticalPercolation.ReverseGuess.step_bound line 18
3. lemma OAI.CriticalPercolation.ReverseGuess.mass_nonneg line 30
4. lemma OAI.CriticalPercolation.ReverseGuess.mass_le line 39
5. lemma OAI.CriticalPercolation.ReverseGuess.mass_zero_le_one line 51