Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
mul_SNo
(
exp_SNo_nat
2
x0
)
(
add_SNo
(
mul_SNo
2
x1
)
1
)
type
ι
→
ι
→
ι
theory
HotG
name
nat_pair
definition
PUcxH..
Megalodon
nat_pair
proofgold address
TMbJv..
nat_pair
creator
29779
PrQUS..
/
2ac25..
owner
29779
PrQUS..
/
2ac25..
term root
4f6fe..