Proofgold Object

λ x0 x1 x2 : ι → ι . λ x3 . and (fa71f.. x0 x1 x2 x3) (e8533.. (λ x4 : ι → ι . or (or (x4 = x0) (x4 = x1)) (x4 = x2)) x3)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMcGp..

creator
1652 PrGxv../6e8bd..

owner
1652 PrGxv../6e8bd..

term root
f0140..