`FormalConjectures/Wikipedia/OddWeirdNumber.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

Existence of Odd Weird Numbers

References:

[Wikipedia] (https://en.wikipedia.org/wiki/Weird_number)
[A006037] (https://oeis.org/A006037)

Imports (2)

No declarations listed.