Proofgold Object

λ x0 . Sep2 x0 (λ x1 . x0)

type
ι → (ι → ι → ο) → ι

theory
HotG

name
encode_r

definition
PUdQg..

Megalodon
encode_r

proofgold address
TMaAg..^encode_r

creator
4899 Pr6Pc../800e7..

owner
4899 Pr6Pc../800e7..

term root
17bc9..