Proofgold Object

λ x0 . and (x0 ∈ omega) (∀ x1 : ο . (∀ x2 . and (x2 ∈ omega) (x0 = mul_nat 2 x2) ⟶ x1) ⟶ 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..