OAI/Probability/CriticalPercolation/Growth/SuperpolynomialAlgebra.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.clog_two_le_log line 13
2. lemma OAI.CriticalPercolation.band_log_bound line 26
3. lemma OAI.CriticalPercolation.deletion_cost_le_quarter line 39
4. lemma OAI.CriticalPercolation.eventually_log_dominates line 49