Proofgold Object

λ x0 . nat_primrec 1 (λ x1 . mul_SNo x0)

type
ι → ι → ι

theory
HotG

name
exp_SNo_nat

definition
PUfRN..

Megalodon
exp_SNo_nat

proofgold address
TMPrq..^exp_SNo_nat

creator
4972 Pr6Pc../b70e1..

owner
4972 Pr6Pc../b70e1..

term root
cc514..