Proofgold Object

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

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..