Proofgold Object

λ x0 x1 . ap (ap x0 x1)

type
ι → ι → ι → ι

theory
HotG

name
decode_b

definition
PUdQg..

Megalodon
decode_b

proofgold address
TMdai..^decode_b

creator
4899 Pr6Pc../e097c..

owner
4899 Pr6Pc../e097c..

term root
1024f..