Proofgold Object

λ x0 . decode_b (ap x0 2)

type
ι → ι → ι → ι

theory
HotG

name
field2b

definition
PUSkV..

Megalodon
RealsStruct_mult

proofgold address
TMaJm..^{RealsStruct_mult}

creator
5784 Pr6Pc../f69b2..

owner
5784 Pr6Pc../f69b2..

term root
4b4b9..