Proofgold Object

λ x0 . lam2 x0 (λ x1 . x0)

type
ι → CT2 ι

theory
HotG

name
encode_b

definition
PUdQg..

Megalodon
encode_b

proofgold address
TMEom..^encode_b

creator
4899 Pr6Pc../2fe4f..

owner
4899 Pr6Pc../2fe4f..

term root
4c89a..