Proofgold Object

λ x0 x1 . lam x0 (λ x2 . x1)

type
ι → ι → ι

theory
HotG

name
setprod

definition
PUdQg..

Megalodon
setprod

proofgold address
TMFyV..^setprod

creator
4899 Pr6Pc../c53c9..

owner
4899 Pr6Pc../c53c9..

term root
fc0b6..