Proofgold Object

λ x0 x1 : ((ι → ο) → ο) → ο . ∀ x2 : ο . (∀ x3 : (ι → ο) → ο . and (x0 = a4b00.. x3) (x1 x3) ⟶ x2) ⟶ x2

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

theory
HF

name
-

definition
PUXbj..

Megalodon
In_3

proofgold address
TMRH1..^In_3

creator
1478 PrGxv../3fe52..

owner
1478 PrGxv../3fe52..

term root
30970..