Proofgold Proposition

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

type
prop

theory
HotG

name
nat_primrec_0

proof
PUfQZ..

Megalodon
nat_primrec_0

proofgold address
TMZ6o..^{nat_primrec_0}

creator
4898 Pr6Pc../c8c47..

owner
4898 Pr6Pc../c8c47..

term root
416ea..