Search for blocks/addresses/...

Proofgold Object

CD_exp_nat (Sing 4) HSNo minus_HSNo conj_HSNo add_HSNo mul_HSNo
type
ι → ι → ι
theory
HotG
name
exp_OSNo_nat
definition
PUdK2..
Megalodon
exp_OSNo_nat
proofgold address
TMVnc..exp_OSNo_nat
creator
28513 PrQUS../77403..
owner
28513 PrQUS../77403..
term root
80e8f..