Proofgold Proposition

∀ x0 x1 . x1 ∈ x0 ⟶ ∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ∈ x0 ⟶ 0 ∈ ap (ap (9ca4f.. x0) x1) x2 ⟶ 0 ∈ ap (ap (9ca4f.. x0) x2) x3 ⟶ 0 ∈ ap (ap (9ca4f.. x0) x1) x3

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMYcP..

creator
48789 PrMzh../aa02d..

owner
48789 PrMzh../aa02d..

term root
473ea..