Search for blocks/addresses/...

Proofgold Object

CD_exp_nat (Sing 3) CSNo minus_CSNo conj_CSNo add_CSNo mul_CSNo
type
ι → ι → ι
theory
HotG
name
exp_HSNo_nat
definition
PUgzA..
Megalodon
exp_HSNo_nat
proofgold address
TMTgL..exp_HSNo_nat
creator
28464 PrQUS../99cca..
owner
28464 PrQUS../99cca..
term root
b3bc7..