Proofgold Object

nat_primrec 0 (λ x0 x1 . If_i (70c47.. x0) x1 (ordsucc x1))

type
ι → ι

theory
HF

name
-

definition
PURiK..

Megalodon
-

proofgold address
TMRFf..

creator
2058 PrGxv../99a33..

owner
2058 PrGxv../99a33..

term root
11baf..