Search for blocks/addresses/...

Proofgold Object

λ x0 . binunion (CSNoLev (HSNo_proj0 x0)) (CSNoLev (HSNo_proj1 x0))
type
ι → ι
theory
HotG
name
HSNoLev
definition
PUgzA..
Megalodon
HSNoLev
proofgold address
TMaU7..HSNoLev
creator
28464 PrQUS../4068b..
owner
28464 PrQUS../4068b..
term root
7ed15..