Proofgold Object

λ x0 x1 . decode_b (ap x1 2)

type
ι → ι → ι → ι → ι

theory
HotG

name
K_field_2_b

definition
PUVyd..

Megalodon
-

proofgold address
TMbiM..

creator
5857 Pr6Pc../3e979..

owner
5857 Pr6Pc../3e979..

term root
7794c..