Proofgold Object

λ x0 . ap x0 5

type
ι → ι

theory
HotG

name
RealsStruct_one

definition
PUSkV..

Megalodon
RealsStruct_one

proofgold address
TMF5L..^{RealsStruct_one}

creator
5784 Pr6Pc../19854..

owner
5784 Pr6Pc../19854..

term root
7aa92..