Proofgold Object

λ x0 . and (x0 ∈ omega) (∃ x1 . and (x1 ∈ omega) (x0 = mul_nat 2 x1))

type
ι → ο

theory
HotG

name
even_nat

definition
PUfRN..

Megalodon
even_nat

proofgold address
TMWJQ..^even_nat

creator
4972 Pr6Pc../2800a..

owner
4972 Pr6Pc../2800a..

term root
17250..