Proofgold Object

λ x0 . nat_primrec 0 (λ x1 . add_nat x0)

type
ι → ι → ι

theory
HotG

name
mul_nat

definition
PUfQZ..

Megalodon
mul_nat

proofgold address
TMSPd..^mul_nat

creator
4898 Pr6Pc../182a9..

owner
4898 Pr6Pc../182a9..

term root
35a1e..