def definition def or abbrev

`prefersFCC`

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

formal statement (Lean)

 177def prefersFCC : List ℕ := [29, 47, 79, 13, 28, 82]

Definition body.

 178
 179/-- Metals that prefer HCP: Mg, Zn, Ti, Zr. -/

Lean names referenced from this declaration's body.