def definition def or abbrev

`classifyValence`

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

formal statement (Lean)

  87noncomputable def classifyValence (r : ℝ) (threshold : ℝ) : Valence :=

Definition body.

  88  if ledgerSkew r > threshold then .positive
  89  else if ledgerSkew r < -threshold then .negative
  90  else .neutral
  91

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

major_is_positive in IndisputableMonolith.MusicTheory.Valence decl_use
minor_is_positive_but_less in IndisputableMonolith.MusicTheory.Valence decl_use

Lean names referenced from this declaration's body.