Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMLKU..

creator
48789 PrMzh../3ad17..

owner
48789 PrMzh../3ad17..

term root
0c0fd..