Documentation

Lean 4 Proof

def tsallisHessianDiag (J : ℕ) (q : ℝ) : ℝ :=
  -q * (↑J : ℝ) ^ (2 - q)

Dependency Graph

Used by

Location

thesis/CESProofs/Potential/Appendix.lean:106

Module Section

Appendix Lemmas 1-3 (Paper 2, Appendix A)

In the same file