Proofgold Object

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

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..