OAI/Probability/SATComputability/ExponentContinuity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.FixedClauseThreshold.Computability.UnitExponents line 14
2. def OAI.FixedClauseThreshold.Computability.exponentTail line 16
3. theorem OAI.FixedClauseThreshold.Computability.exponentTail_continuous line 19
4. theorem OAI.FixedClauseThreshold.Computability.logMean_continuous_exponents line 24
5. theorem OAI.FixedClauseThreshold.Computability.trialLog_continuous_exponents line 66
6. theorem OAI.FixedClauseThreshold.Computability.functional_continuous_unit_exponents line 81
7. theorem OAI.FixedClauseThreshold.Computability.isOpen_unit_exponents line 134
8. theorem OAI.FixedClauseThreshold.Computability.functional_continuousAt_exponents line 143