Proofgold Object

type
ι → (ι → ι) → ι

theory
HotG

name
lam

definition
PUdQg..

Megalodon
Sigma

proofgold address
TMS2X..^Sigma

creator
4899 Pr6Pc../ab2a5..

owner
4899 Pr6Pc../ab2a5..

term root
8acbb..