Proofgold Object

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

type
(ι → ο) → ι

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMVAZ..

creator
1652 PrGxv../56555..

owner
1652 PrGxv../56555..

term root
35f96..