Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι . (∀ x4 . x4 ∈ x0 ⟶ x2 x4 ∈ x1) ⟶ (∀ x4 . x4 ∈ x0 ⟶ x3 x4 ∈ x1) ⟶ (∀ x4 . x4 ∈ x0 ⟶ 0 ∈ ap (ap (9ca4f.. x1) (x2 x4)) (x3 x4)) ⟶ 0 ∈ ap (ap (9ca4f.. (setexp x1 x0)) (lam x0 x2)) (lam x0 x3)

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMYBw..

creator
48789 PrMzh../efcb4..

owner
48789 PrMzh../efcb4..

term root
66311..