Proofgold Object

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

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMVzz..

creator
1652 PrGxv../7e3fa..

owner
1652 PrGxv../7e3fa..

term root
ceeb0..