Proofgold Object

λ x0 : ι → ι . nat_primrec 1 (λ x1 x2 . mul_SNo x2 (x0 x1))

type
(ι → ι) → ι → ι

theory
HotG

name
-

definition
PUQQ9..

Megalodon
Pi_SNo

proofgold address
TMcXm..^Pi_SNo

creator
30111 PrQUS../dd506..

owner
30111 PrQUS../dd506..

term root
3e6f6..