Proofgold Object

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

type
ι → (ι → ο) → (ι → ο) → ο

theory
HoTg

name
PNoEq_

definition
PUdWB..

Megalodon
-

proofgold address
TMdkQ..

creator
2791 PrGxv../25547..

owner
2791 PrGxv../25547..

term root
d7d95..