Proofgold Object

λ x0 . λ x1 : (ι → ο) → ο . {x2 ∈ prim4 x0|x1 (λ x3 . x3 ∈ x2)}

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

theory
HotG

name
encode_c

definition
PUdQg..

Megalodon
encode_c

proofgold address
TMdFV..^encode_c

creator
4899 Pr6Pc../e7b7d..

owner
4899 Pr6Pc../e7b7d..

term root
02824..