Proofgold Object

λ x0 . and (Field x0) (∀ x1 . x1 ∈ omega ⟶ nat_primrec (field4 x0) (λ x3 . field1b x0 (field4 x0)) x1 = field3 x0 ⟶ ∀ x2 : ο . x2)

type
ι → ο

theory
HotG

name
-

definition
PUXQg..

Megalodon
-

proofgold address
TMTbq..

creator
5919 Pr6Pc../2dd47..

owner
5919 Pr6Pc../2dd47..

term root
5a142..