module module

`IndisputableMonolith.Quantum.ZenoEffect`

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 (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import

declarations in this module (19)

def transitionProbability L49
theorem transition_at_zero L53
theorem transition_bounded L58
def survivalProbability L67
def zenoSurvival L71
theorem quantum_zeno_effect L76
theorem short_time_expansion L82
theorem zeno_scaling L88
theorem anti_zeno_effect L96
def zenoAntiZenoCrossover L103
theorem zeno_from_ledger_actualization L116
theorem quadratic_from_symmetry L127
def experimentalHistory L139
def typicalFidelity L148
def applications L157
structure ZenoProtection L165
def philosophicalNote L180
structure ZenoFalsifier L191
def experimentalStatus L198