Documentation
FormalConjectures
.
Wikipedia
.
OddWeirdNumber
Search
return to top
source
Imports
Init
FormalConjectures.ErdosProblems.«470»
FormalConjectures.Util.ProblemImports
Imported by
Existence of Odd Weird Numbers
#
References:
[Wikipedia] (
https://en.wikipedia.org/wiki/Weird_number
)
[A006037] (
https://oeis.org/A006037
)