def definition def or abbrev

`magicNumbers`

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

formal statement (Lean)

  24def magicNumbers : Finset ℕ := {2, 8, 20, 28, 50, 82, 126}

Definition body.

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

magicNumbersCard in IndisputableMonolith.Physics.NuclearMagicNumbersFromRS decl_use
magic_numbers_contain_2 in IndisputableMonolith.Physics.NuclearMagicNumbersFromRS decl_use
magic_numbers_contain_8 in IndisputableMonolith.Physics.NuclearMagicNumbersFromRS decl_use
NuclearMagicCert in IndisputableMonolith.Physics.NuclearMagicNumbersFromRS decl_use