Search for blocks/addresses/...

Proofgold Object

SNo_pair 0 1
type
ι
theory
HotG
name
Complex_i
definition
PUQvq..
Megalodon
Complex_i
proofgold address
TMWi4..Complex_i
creator
28444 PrQUS../e1c04..
owner
28444 PrQUS../e1c04..
term root
ace1d..