OAI/Probability/SATComputability/SupercriticalEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.deletionLifetimeMean line 11
2. theorem OAI.FixedClauseThreshold.Computability.zero_lifetime_linear line 15
3. theorem OAI.FixedClauseThreshold.Computability.quotient_linear_lower line 29
4. theorem OAI.FixedClauseThreshold.Computability.relaxedPoissonMinimum_supercritical line 39