Search for blocks/addresses/...

Proofgold Object

λ x0 . binunion (HSNoLev (OSNo_proj0 x0)) (HSNoLev (OSNo_proj1 x0))
type
ι → ι
theory
HotG
name
OSNoLev
definition
PUdK2..
Megalodon
OSNoLev
proofgold address
TMEr6..OSNoLev
creator
28513 PrQUS../12a0f..
owner
28513 PrQUS../12a0f..
term root
26d39..