Proofgold Object

λ x0 x1 : ι → ι . λ x2 . and (6ce64.. x0 x1 x2) (e8533.. (λ x3 : ι → ι . or (x3 = x0) (x3 = x1)) x2)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMHEp..

creator
1652 PrGxv../15927..

owner
1652 PrGxv../15927..

term root
f6970..