Proofgold Object

λ x0 x1 . decode_b (ap x1 1)

type
ι → ι → ι → ι → ι

theory
HotG

name
K_field_1_b

definition
PUVyd..

Megalodon
-

proofgold address
TMUmJ..

creator
5857 Pr6Pc../bce58..

owner
5857 Pr6Pc../bce58..

term root
1e526..