Proofgold Object

∃ x0 : ((ι → ο) → ο) → ι → ο . ∀ x2 : (ι → ο) → ο . ∀ x3 : ι → ο . x2 x3 ⟶ x2 (x0 x2)

type
ο

theory
HF

name
-

definition
PUKiR..

Megalodon
AC_1

proofgold address
TMJTS..^AC_1

creator
1627 PrGxv../f55aa..

owner
1627 PrGxv../f55aa..

term root
71b1b..