Proofgold Object

λ x0 x1 . x1 ∈ x0

type
ι → ι → ο

theory
HotG

name
decode_p

definition
PUdQg..

Megalodon
decode_p

proofgold address
TMEnX..^decode_p

creator
4899 Pr6Pc../638de..

owner
4899 Pr6Pc../638de..

term root
02231..