module module

`IndisputableMonolith.Chemistry.EnzymeCatalysis`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Chemistry.ActivationEnergy module_import
IndisputableMonolith.Constants module_import

declarations in this module (16)

structure Enzyme L64
def uncatalyzedBarrier L73
def catalyzedBarrier L77
def IsIdealEnzyme L85
theorem ideal_enzyme_zero_barrier L90
theorem ideal_enzyme_exists L96
def boltzmannFactor L110
def uncatalyzedRate L113
def catalyzedRate L117
theorem ideal_enzyme_unit_rate L121
theorem rate_enhancement L128
def rungBarrier L140
theorem enzyme_rung_matching L143
theorem different_rungs_different_barriers L160
theorem off_target_not_ideal L174
theorem enzyme_jcost_lens_summary L188