Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
Skolem_1

proofgold address
TMVb2..^Skolem_1

creator
1627 PrGxv../55fc5..

owner
1627 PrGxv../55fc5..

term root
eac15..