Proofgold Object

λ x0 x1 : ι → ι . λ x2 . and (9a7b4.. x0 x1 x2) (e8533.. (λ x3 : ι → ι . or (x3 = x0) (x3 = x1)) x2)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMGiG..

creator
1652 PrGxv../02dca..

owner
1652 PrGxv../02dca..

term root
31a8b..