Proofgold Object

λ x0 . λ x1 : ι → ο . ∃ x2 . and (∀ x4 . iff (x1 x4) (x4 ∈ x2)) (x2 ∈ x0)

type
ι → (ι → ο) → ο

theory
HotG

name
decode_c

definition
PUdQg..

Megalodon
decode_c

proofgold address
TMKMb..^decode_c

creator
4899 Pr6Pc../39456..

owner
4899 Pr6Pc../39456..

term root
47a1e..