def definition def or abbrev

`prefersHCP`

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

formal statement (Lean)

 180def prefersHCP : List ℕ := [12, 30, 22, 40]

Definition body.

 181
 182/-- Alkali metals prefer BCC (strongest 8-tick coherence). -/

Lean names referenced from this declaration's body.