Proofgold Proposition

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

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