Proofgold Object

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

type
ι → (ι → ο) → ι

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMGyr..

creator
1652 PrGxv../a3e56..

owner
1652 PrGxv../a3e56..

term root
da98b..