Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
Skolem_0

proofgold address
TMH8C..^Skolem_0

creator
1627 PrGxv../9552d..

owner
1627 PrGxv../9552d..

term root
39312..