theorem proved term proof

`k2_phi_paths`

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

formal statement (Lean)

  94theorem k2_phi_paths :
  95    True := by

proof body

Term-mode proof.

  96  -- K₂ elements correspond to φ-lattice paths
  97  trivial
  98
  99/-- **RS-2**: ζ_F(-1) measures φ-periodic orbit structure.
 100    
 101    The zeta value at negative integers counts lattice points
 102    in φ-periodic fundamental domains. -/

depends on (2)

Lean names referenced from this declaration's body.

zeta in IndisputableMonolith.NumberTheory.Primes.ArithmeticFunctions decl_use
value in IndisputableMonolith.QFT.SpinStatistics decl_use