Proofgold Object

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

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

theory
HF

name
-

definition
PUXbj..

Megalodon
In_2

proofgold address
TMJK6..^In_2

creator
1478 PrGxv../92c35..

owner
1478 PrGxv../92c35..

term root
f2527..