Proofgold Object

λ x0 . ap x0 0

type
ι → ι

theory
HotG

name
field0

definition
PUSkV..

Megalodon
RealsStruct_carrier

proofgold address
TMZQE..^{RealsStruct_carrier}

creator
5784 Pr6Pc../50a71..

owner
5784 Pr6Pc../50a71..

term root
f0bb6..