Proofgold Object

λ x0 . decode_b (ap x0 1)

type
ι → ι → ι → ι

theory
HotG

name
field1b

definition
PUSkV..

Megalodon
RealsStruct_plus

proofgold address
TMRiY..^{RealsStruct_plus}

creator
5784 Pr6Pc../b6e37..

owner
5784 Pr6Pc../b6e37..

term root
6968c..