Search for blocks/addresses/...
Proofgold Object
λ x0 .
Sep
(
field0
x0
)
(
natOfOrderedField_p
(
field0
x0
)
(
field4
x0
)
(
RealsStruct_one
x0
)
(
field1b
x0
)
(
field2b
x0
)
(
RealsStruct_leq
x0
)
)
type
ι
→
ι
theory
HotG
name
RealsStruct_N
definition
PUSkV..
Megalodon
RealsStruct_N
proofgold address
TMKcB..
RealsStruct_N
creator
5784
Pr6Pc..
/
02b57..
owner
5784
Pr6Pc..
/
02b57..
term root
5e5ba..