Proofgold Object

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

type
ι → (ι → ο) → ο

theory
HoTg

name
decode_c

definition
PUTo6..

Megalodon
-

proofgold address
TMQkp..

creator
2774 PrGxv../5a7b2..

owner
2774 PrGxv../5a7b2..

term root
47a1e..