pith. machine review for the scientific record. sign in
def definition def or abbrev

rsSpectrum

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

 107def rsSpectrum : List ℕ :=

proof body

Definition body.

 108  [2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 25, 45, 64, 70, 125, 216, 256, 360, 3125]
 109

used by (4)

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