Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . nat_primrec x0 x1 0 = x0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
nat_primrec_0

proofgold address
TMH7H..^{nat_primrec_0}

creator
2277 PrGxv../43325..

owner
2277 PrGxv../43325..

term root
18742..