Search for blocks/addresses/...

Proofgold Object

λ x0 . pack_b_b_e_e (field0 x0) (field1b x0) (field2b x0) (field4 x0) (RealsStruct_one x0)
type
ιι
theory
HotG
name
Field_of_RealsStruct
definition
PUSkV..
Megalodon
Field_of_RealsStruct
proofgold address
TMS4L..Field_of_RealsStruct
creator
5784 Pr6Pc../89196..
owner
5784 Pr6Pc../89196..
term root
e1df2..