Search for blocks/addresses/...

Proofgold Object

CD_exp_nat (Sing 2) SNo minus_SNo (λ x0 . x0) add_SNo mul_SNo
type
ι → ι → ι
theory
HotG
name
exp_CSNo_nat
definition
PUQvq..
Megalodon
exp_CSNo_nat
proofgold address
TMKdh..exp_CSNo_nat
creator
28444 PrQUS../d450b..
owner
28444 PrQUS../d450b..
term root
1ff64..