structure
definition
def or abbrev
ThreeSubstrateCert
show as:
view Lean formalization →
formal statement (Lean)
59structure ThreeSubstrateCert where
60 three_substrates : Fintype.card ValidationSubstrate = 3
61 fixed_point : Jcost 1 = 0
62 descent : ∀ {r : ℝ}, 0 < r → r ≠ 1 → 0 < Jcost r
63 symmetry : ∀ {r : ℝ}, 0 < r → Jcost r = Jcost r⁻¹
64 lm_alignment : languageModelAlignmentFraction = 7/8
65 photonic_rate : photonicCodeRate = 7 / 8
66 f2_cube_connection : languageModelAlignmentFraction = (2^3 - 1 : ℚ) / 2^3
67