Proofgold Object

λ x0 x1 . Pi x1 (λ x2 . x0)

type
ι → ι → ι

theory
HotG

name
setexp

definition
PUdQg..

Megalodon
setexp

proofgold address
TMMDi..^setexp

creator
4899 Pr6Pc../8effd..

owner
4899 Pr6Pc../8effd..

term root
1de7f..