IndisputableMonolith.Chemistry.ActivationEnergy

declarations in this module (22)

• def J L42
• def J_reactant L45
• def J_transition L48
• def activationBarrier L51
• theorem J_one L54
• theorem J_nonneg L58
• theorem barrier_nonneg L70
• def boltzmannFactor L78
• def arrheniusRate L81
• theorem higher_barrier_slower L84
• theorem higher_temp_faster L97
• def E_coh L115
• def barrierLadder L118
• theorem hbond_barrier_scale L121
• theorem covalent_barrier_higher L125
• def catalyticFactor L136
• theorem catalysis_lowers_barrier L139
• def rateEnhancement L146
• theorem enzyme_enhances_rate L150
• def attemptFrequency L167
• def eightTickPeriod L170
• theorem attempt_freq_8tick L173