pith. machine review for the scientific record. sign in
def definition def or abbrev

SemanticCondensationGate

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

formal statement (Lean)

 146def SemanticCondensationGate
 147    (entropy entropyFloor attention signature signatureMin signatureMax z : ℝ) : Prop :=

proof body

Definition body.

 148  entropyFloor < entropy ∧
 149    signatureMin ≤ signature ∧
 150    signature ≤ signatureMax ∧
 151    attention ≤ phi ^ (3 : ℕ) ∧
 152    phi ^ (45 : ℕ) ≤ z
 153

used by (3)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (3)

Lean names referenced from this declaration's body.