Proofgold Object

λ x0 . nat_primrec 0 (λ x1 x2 . If_i (ordsucc x2 ∈ x0) (ordsucc x2) 0)

type
ι → ι → ι

theory
HotG

name
-

definition
PUTs8..

Megalodon
-

proofgold address
TMSAr..

creator
29423 Pr5Zc../da734..

owner
29423 Pr5Zc../da734..

term root
07ba8..