Search for blocks/addresses/...

Proofgold Object

λ x0 . nat_primrec 1 (λ x1 . mul_nat x0)
type
ιιι
theory
HF
name
-
definition
PUUXB..
Megalodon
exp_nat
proofgold address
TMN4s..exp_nat
creator
2207 PrJJf../4e2df..
owner
2207 PrJJf../4e2df..
term root
59c58..