Proofgold Object

λ x0 . ap x0 4

type
ι → ι

theory
HotG

name
field4

definition
PUSkV..

Megalodon
RealsStruct_zero

proofgold address
TMWFb..^{RealsStruct_zero}

creator
5784 Pr6Pc../09df6..

owner
5784 Pr6Pc../09df6..

term root
57e73..