Proofgold Object

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

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

theory
HF

name
-

definition
PUXbj..

Megalodon
In_1

proofgold address
TMVU4..^In_1

creator
1478 PrGxv../03197..

owner
1478 PrGxv../03197..

term root
23a50..