OAI/Probability/FreeIsing/Energy/MomentInduction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem367.pow_mul_exp_le_of_log_le line 7
2. theorem OAI.Problem367.critical_moment_error_le_order_three line 20
3. theorem OAI.Problem367.exists_critical_moment_constant line 38
4. theorem OAI.Problem367.critical_moment_absorb line 81