Proofgold Object

λ x0 . and (x0 ∈ omega) (∀ x1 . x1 ∈ omega ⟶ x0 = mul_nat 2 x1 ⟶ ∀ x2 : ο . x2)

type
ι → ο

theory
HotG

name
odd_nat

definition
PUfRN..

Megalodon
odd_nat

proofgold address
TMPkk..^odd_nat

creator
4972 Pr6Pc../22874..

owner
4972 Pr6Pc../22874..

term root
8358b..