Search for blocks/addresses/...

Proofgold Object

CD_conj (Sing 2) SNo minus_SNo (λ x0 . x0)
type
ι → ι
theory
HotG
name
conj_CSNo
definition
PUQvq..
Megalodon
conj_CSNo
proofgold address
TMdS7..conj_CSNo
creator
28444 PrQUS../2541c..
owner
28444 PrQUS../2541c..
term root
f0317..