structure definition def or abbrev

`Triad`

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

formal statement (Lean)

  19structure Triad where
  20  h : ℤ
  21  k : ℤ
  22  l : ℤ
  23  deriving Repr, DecidableEq
  24
  25/‑ Legal triad proxy: parity and sum constraints (scaffold). -/

used by (2)

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

countLegal in IndisputableMonolith.Crystallography.SelectionRules decl_use
legalTriad in IndisputableMonolith.Crystallography.SelectionRules decl_use

depends on (2)

Lean names referenced from this declaration's body.

parity in IndisputableMonolith.LedgerPostingAdjacency decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use