Proofgold Object

λ x0 . Sep (field0 x0) (2a63f.. x0)

type
ι → ι

theory
HotG

name
RealsStruct_Q

definition
PUSVY..

Megalodon
RealsStruct_Q

proofgold address
TMHUM..^{RealsStruct_Q}

creator
5804 Pr6Pc../e3ff2..

owner
5804 Pr6Pc../e3ff2..

term root
255c2..