Search for blocks/addresses/...
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..